Search Results

There are 31387 results for: content related to: Acculock : accurate and efficient detection of data races

  1. Fast in-memory XPath search using compressed indexes

    Software: Practice and Experience

    Volume 45, Issue 3, March 2015, Pages: 399–434, Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyễn, Jouni Sirén and Niko Välimäki

    Version of Record online : 3 OCT 2013, DOI: 10.1002/spe.2227

  2. A dynamic stochastic model for automatic grammar-based test generation

    Software: Practice and Experience

    Volume 45, Issue 11, November 2015, Pages: 1519–1547, Hai-Feng Guo and Zongyan Qiu

    Version of Record online : 11 JUN 2014, DOI: 10.1002/spe.2278

  3. Automatic generation of compiler backends

    Software: Practice and Experience

    Volume 43, Issue 2, February 2013, Pages: 207–240, Florian Brandner, Viktor Pavlu and Andreas Krall

    Version of Record online : 16 JAN 2012, DOI: 10.1002/spe.2106

  4. Practical rearrangement methods for dynamic double-array dictionaries

    Software: Practice and Experience

    Shunsuke Kanda, Yuma Fujita, Kazuhiro Morita and Masao Fuketa

    Version of Record online : 28 JUL 2017, DOI: 10.1002/spe.2516

  5. Heuristic expansion of feature mappings in evolving program families

    Software: Practice and Experience

    Volume 44, Issue 11, November 2014, Pages: 1315–1349, Camila Nunes, Alessandro Garcia, Carlos Lucena and Jaejoon Lee

    Version of Record online : 20 MAY 2013, DOI: 10.1002/spe.2200

  6. PLaTHEA: a marker-less people localization and tracking system for home automation

    Software: Practice and Experience

    Volume 45, Issue 6, June 2015, Pages: 801–835, Francesco Leotta and Massimo Mecella

    Version of Record online : 13 APR 2014, DOI: 10.1002/spe.2262

  7. Some structural measures of API usability

    Software: Practice and Experience

    Volume 45, Issue 1, January 2015, Pages: 75–110, Girish Maskeri Rama and Avinash Kak

    Version of Record online : 3 SEP 2013, DOI: 10.1002/spe.2215

  8. A generic decentralized trust management framework

    Software: Practice and Experience

    Volume 45, Issue 4, April 2015, Pages: 435–454, Roy Friedman and Amit Portnoy

    Version of Record online : 18 SEP 2013, DOI: 10.1002/spe.2226

  9. MpAssign: a framework for solving the many-core platform mapping problem

    Software: Practice and Experience

    Volume 42, Issue 7, July 2012, Pages: 891–915, Youcef Bouchebaba, Ali-Erdem Ozcan, Pierre Paulin and Gabriela Nicolescu

    Version of Record online : 28 DEC 2011, DOI: 10.1002/spe.1157

  10. You have free access to this content
    MemSafe: ensuring the spatial and temporal memory safety of C at runtime

    Software: Practice and Experience

    Volume 43, Issue 1, January 2013, Pages: 93–128, Matthew S. Simpson and Rajeev K. Barua

    Version of Record online : 2 FEB 2012, DOI: 10.1002/spe.2105

  11. You have full text access to this OnlineOpen article
    Decoding billions of integers per second through vectorization

    Software: Practice and Experience

    Volume 45, Issue 1, January 2015, Pages: 1–29, D. Lemire and L. Boytsov

    Version of Record online : 28 MAY 2013, DOI: 10.1002/spe.2203

  12. Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation

    Software: Practice and Experience

    Volume 44, Issue 12, December 2014, Pages: 1485–1510, Yulei Sui, Sen Ye, Jingling Xue and Jie Zhang

    Version of Record online : 22 JUL 2013, DOI: 10.1002/spe.2214

  13. A suite of abstract domains for static analysis of string values

    Software: Practice and Experience

    Volume 45, Issue 2, February 2015, Pages: 245–287, Giulia Costantini, Pietro Ferrara and Agostino Cortesi

    Version of Record online : 16 AUG 2013, DOI: 10.1002/spe.2218

  14. Memory leak detection in Plumbr

    Software: Practice and Experience

    Volume 45, Issue 10, October 2015, Pages: 1307–1330, Vladimir Šor, Satish Narayana Srirama and Nikita Salnikov-Tarnovski

    Version of Record online : 3 JUN 2014, DOI: 10.1002/spe.2275

  15. Identifying composite crosscutting concerns through semi-supervised learning

    Software: Practice and Experience

    Volume 44, Issue 12, December 2014, Pages: 1525–1545, Jianlin Zhu, Jin Huang, Daicui Zhou, Federico Carminati, Guoping Zhang and Qiang He

    Version of Record online : 11 NOV 2013, DOI: 10.1002/spe.2234

  16. Incremental inconsistency detection with low memory overhead

    Software: Practice and Experience

    Volume 44, Issue 5, May 2014, Pages: 621–641, Jean-Rémy Falleri, Xavier Blanc, Reda Bendraou, Marcos Aurélio Almeida da Silva and Cédric Teyton

    Version of Record online : 28 DEC 2012, DOI: 10.1002/spe.2171

  17. A scheme for reliable real-time messaging with bounded delays

    Software: Practice and Experience

    Volume 41, Issue 12, November/December 2011, Pages: 1387–1407, Kwang-Hae (Kane) Kim, Jing Qian, Zhen Zhang, Qian Zhou, Kyung-Deok Moon, Jun-Hee Park, Kwang-Roh Park and Doo-Hyun Kim

    Version of Record online : 5 SEP 2011, DOI: 10.1002/spe.1107

  18. Detecting and visualizing online dispute dynamics in replying comments

    Software: Practice and Experience

    Volume 43, Issue 12, December 2013, Pages: 1395–1413, Yun-Jung Lee, Eun-Kyung Kim, Hwan-Gue Cho and Gyun Woo

    Version of Record online : 24 AUG 2012, DOI: 10.1002/spe.2153

  19. Design pattern based model transformation with tool support

    Software: Practice and Experience

    Volume 45, Issue 4, April 2015, Pages: 473–499, Dae-Kyoo Kim

    Version of Record online : 11 NOV 2013, DOI: 10.1002/spe.2238

  20. Privacy preserving protocol for service aggregation in cloud computing

    Software: Practice and Experience

    Volume 42, Issue 4, April 2012, Pages: 467–483, Peishun Wang, Yi Mu, Willy Susilo and Jun Yan

    Version of Record online : 18 OCT 2011, DOI: 10.1002/spe.1129