Search Results

There are 5986 results for: content related to: Curracurrong : a stream programming environment for wireless sensor networks

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

    Article first published online : 16 JAN 2012, DOI: 10.1002/spe.2106

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

    Article first published online : 2 FEB 2012, DOI: 10.1002/spe.2105

  3. A generic static analyzer for multithreaded Java programs

    Software: Practice and Experience

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

    Article first published online : 9 MAY 2012, DOI: 10.1002/spe.2126

  4. A holistic approach to model-based testing of Web service compositions

    Software: Practice and Experience

    Volume 44, Issue 2, February 2014, Pages: 201–234, Fevzi Belli, Andre Takeshi Endo, Michael Linschulte and Adenilso Simao

    Article first published online : 18 OCT 2012, DOI: 10.1002/spe.2161

  5. Improving TLB performance on current chip multiprocessor architectures through demand-driven superpaging

    Software: Practice and Experience

    Volume 43, Issue 6, June 2013, Pages: 705–729, Apan Qasem and Josh Magee

    Article first published online : 1 MAY 2012, DOI: 10.1002/spe.2128

  6. Implementation and performance evaluation of a distributed conjugate gradient method in a cloud computing environment

    Software: Practice and Experience

    Volume 43, Issue 3, March 2013, Pages: 281–304, Leila Ismail and Rajeev Barua

    Article first published online : 6 FEB 2012, DOI: 10.1002/spe.2112

  7. Constantine: configurable static analysis tool in Eclipse

    Software: Practice and Experience

    Volume 44, Issue 5, May 2014, Pages: 537–563, Makarand Gawade, K. Ravikanth and Sanjeev Aggarwal

    Article first published online : 7 DEC 2012, DOI: 10.1002/spe.2173

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

    Article first published online : 16 AUG 2013, DOI: 10.1002/spe.2218

  9. Effective strategic programming for Java developers

    Software: Practice and Experience

    Volume 44, Issue 2, February 2014, Pages: 129–162, Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles

    Article first published online : 4 OCT 2012, DOI: 10.1002/spe.2159

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

    Article first published online : 16 APR 2012, DOI: 10.1002/spe.2121

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

    Article first published online : 28 DEC 2012, DOI: 10.1002/spe.2171

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

    Software: Practice and Experience

    Hai-Feng Guo and Zongyan Qiu

    Article first published online : 11 JUN 2014, DOI: 10.1002/spe.2278

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

    Article first published online : 13 APR 2014, DOI: 10.1002/spe.2262

  14. A heuristic approach to selecting views for materialization

    Software: Practice and Experience

    Volume 44, Issue 10, October 2014, Pages: 1157–1179, Mark Roantree and Jun Liu

    Article first published online : 13 MAR 2013, DOI: 10.1002/spe.2192

  15. A rule-based approach for availability of service by automated service substitution

    Software: Practice and Experience

    Volume 44, Issue 1, January 2014, Pages: 47–76, Qianhui Liang, Bu-Sung Lee and Patrick C. K. Hung

    Article first published online : 17 SEP 2012, DOI: 10.1002/spe.2155

  16. Transformer: an adaptation framework supporting contextual adaptation behavior composition

    Software: Practice and Experience

    Volume 43, Issue 8, August 2013, Pages: 937–967, Ning Gui, Vincenzo De Florio and Tom Holvoet

    Article first published online : 25 JUL 2012, DOI: 10.1002/spe.2137

  17. Grammatical and context-sensitive error correction using a statistical machine translation framework

    Software: Practice and Experience

    Volume 43, Issue 2, February 2013, Pages: 187–206, Nava Ehsan and Heshaam Faili

    Article first published online : 26 JAN 2012, DOI: 10.1002/spe.2110

  18. From bytecode to JavaScript: the Js_of_ocaml compiler

    Software: Practice and Experience

    Volume 44, Issue 8, August 2014, Pages: 951–972, Jérôme Vouillon and Vincent Balat

    Article first published online : 26 FEB 2013, DOI: 10.1002/spe.2187

  19. Optimized succinct data structures for massive data

    Software: Practice and Experience

    Volume 44, Issue 11, November 2014, Pages: 1287–1314, Simon Gog and Matthias Petri

    Article first published online : 23 MAY 2013, DOI: 10.1002/spe.2198

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

    Article first published online : 3 OCT 2013, DOI: 10.1002/spe.2227