Search Results

There are 2544 results for: content related to: Fast in-memory XPath search using compressed indexes

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

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

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

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

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

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

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

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

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

  11. Cross-layer resource control and scheduling for improving interactivity in Android

    Software: Practice and Experience

    Volume 45, Issue 11, November 2015, Pages: 1549–1570, Sungju Huh, Jonghun Yoo and Seongsoo Hong

    Version of Record online : 11 AUG 2014, DOI: 10.1002/spe.2285

  12. Compressed bitmap indexes: beyond unions and intersections

    Software: Practice and Experience

    Volume 46, Issue 2, February 2016, Pages: 167–198, Owen Kaser and Daniel Lemire

    Version of Record online : 15 SEP 2014, DOI: 10.1002/spe.2289

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

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

  15. CloudPick: a framework for QoS-aware and ontology-based service deployment across clouds

    Software: Practice and Experience

    Volume 45, Issue 2, February 2015, Pages: 197–231, Amir Vahid Dastjerdi, Saurabh Kumar Garg, Omer F. Rana and Rajkumar Buyya

    Version of Record online : 15 SEP 2014, DOI: 10.1002/spe.2288

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

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

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

  19. Mechanisms for building autonomically scalable services on cooperatively shared computing platforms

    Software: Practice and Experience

    Volume 44, Issue 10, October 2014, Pages: 1251–1276, Vinit Padhye and Anand Tripathi

    Version of Record online : 11 JUN 2013, DOI: 10.1002/spe.2206

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