Search Results

There are 2126 results for: content related to: Incremental inconsistency detection with low memory overhead

  1. 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

  2. Determinization and minimization of finite acyclic automata by incremental techniques

    Software: Practice and Experience

    Volume 46, Issue 4, April 2016, Pages: 513–549, Gianfranco Lamperti, Michele Scandale and Marina Zanella

    Version of Record online : 21 JAN 2015, DOI: 10.1002/spe.2309

  3. Toward the adaptation of component-based architectures by model transformation: behind smart user interfaces

    Software: Practice and Experience

    Volume 45, Issue 12, December 2015, Pages: 1677–1718, Javier Criado, Diego Rodríguez-Gracia, Luis Iribarne and Nicolás Padilla

    Version of Record online : 12 DEC 2014, DOI: 10.1002/spe.2306

  4. 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

  5. Acculock: accurate and efficient detection of data races

    Software: Practice and Experience

    Volume 43, Issue 5, May 2013, Pages: 543–576, Xinwei Xie, Jingling Xue and Jie Zhang

    Version of Record online : 16 APR 2012, DOI: 10.1002/spe.2121

  6. You have free access to this content
    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

  7. 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

  8. A generic static analyzer for multithreaded Java programs

    Software: Practice and Experience

    Volume 43, Issue 6, June 2013, Pages: 663–684, P. Ferrara

    Version of Record online : 9 MAY 2012, DOI: 10.1002/spe.2126

  9. 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

  10. 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

  11. 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

  12. Widening with thresholds via binary search

    Software: Practice and Experience

    Sol Kim, Kihong Heo, Hakjoo Oh and Kwangkeun Yi

    Version of Record online : 4 DEC 2015, DOI: 10.1002/spe.2381

  13. River: an intermediate language for stream processing

    Software: Practice and Experience

    Volume 46, Issue 7, July 2016, Pages: 891–929, Robert Soulé, Martin Hirzel, Buğra Gedik and Robert Grimm

    Version of Record online : 5 JUN 2015, DOI: 10.1002/spe.2338

  14. High-speed parallel implementations of the rainbow method based on perfect tables in a heterogeneous system

    Software: Practice and Experience

    Volume 45, Issue 6, June 2015, Pages: 837–855, Jung Woo Kim, Jungjoo Seo, Jin Hong, Kunsoo Park and Sung-Ryul Kim

    Version of Record online : 18 FEB 2014, DOI: 10.1002/spe.2257

  15. A web system for reasoning with probabilistic OWL

    Software: Practice and Experience

    Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese and Giuseppe Cota

    Version of Record online : 13 MAY 2016, DOI: 10.1002/spe.2410

  16. CloudEyes: Cloud-based malware detection with reversible sketch for resource-constrained internet of things (IoT) devices

    Software: Practice and Experience

    Hao Sun, Xiaofeng Wang, Rajkumar Buyya and Jinshu Su

    Version of Record online : 23 JUN 2016, DOI: 10.1002/spe.2420

  17. Efficient online cycle detection technique combining with Steensgaard points-to information

    Software: Practice and Experience

    Volume 46, Issue 5, May 2016, Pages: 601–623, Fei Liu, Bixin Li and Rupesh Nasre

    Version of Record online : 6 MAY 2015, DOI: 10.1002/spe.2329

  18. Generic event-based monitoring and adaptation methodology for heterogeneous distributed systems

    Software: Practice and Experience

    Volume 44, Issue 7, July 2014, Pages: 805–822, Christian Inzinger, Waldemar Hummer, Benjamin Satzger, Philipp Leitner and Schahram Dustdar

    Version of Record online : 28 JAN 2014, DOI: 10.1002/spe.2254

  19. Design and analysis of target-sensitive real-time systems

    Software: Practice and Experience

    Volume 46, Issue 9, September 2016, Pages: 1181–1200, Giorgio Buttazzo, Carmelo Di Franco and Mauro Marinoni

    Version of Record online : 16 SEP 2015, DOI: 10.1002/spe.2373

  20. Mining hot calling contexts in small space

    Software: Practice and Experience

    Volume 46, Issue 8, August 2016, Pages: 1131–1152, Daniele Cono D'Elia, Camil Demetrescu and Irene Finocchi

    Version of Record online : 30 AUG 2015, DOI: 10.1002/spe.2348