Search Results

There are 10438 results for: content related to: Distributed applications and interoperable systems (Extended papers from DAIS’10)

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

    Article first published online : 22 JUL 2013, DOI: 10.1002/spe.2214

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

  3. You have free access to this content
    An empirical time analysis of evolutionary algorithms as C programs

    Software: Practice and Experience

    Volume 45, Issue 1, January 2015, Pages: 111–142, Sergio Nesmachnow, Francisco Luna and Enrique Alba

    Article first published online : 25 JUL 2013, DOI: 10.1002/spe.2217

  4. You have free access to this content
    Event-driven asynchronous method calls with the D-Bus message system

    Software: Practice and Experience

    Volume 45, Issue 1, January 2015, Pages: 53–74, Olli Salli, Olli Nevalainen and Ville Leppänen

    Article first published online : 26 JUL 2013, DOI: 10.1002/spe.2216

  5. Abmash: mashing up legacy Web applications by automated imitation of human actions

    Software: Practice and Experience

    Volume 45, Issue 5, May 2015, Pages: 581–612, Alper Ortac, Martin Monperrus and Mira Mezini

    Article first published online : 11 DEC 2013, DOI: 10.1002/spe.2249

  6. Design and implementation of an efficient hybrid dynamic and static typing language

    Software: Practice and Experience

    Miguel Garcia, Francisco Ortin and Jose Quiroga

    Article first published online : 6 OCT 2014, DOI: 10.1002/spe.2291

  7. A survey of self-healing systems frameworks

    Software: Practice and Experience

    Chris Schneider, Adam Barker and Simon Dobson

    Article first published online : 20 JAN 2014, DOI: 10.1002/spe.2250

  8. RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications

    Software: Practice and Experience

    Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja and B. M. Mainul Hossain

    Article first published online : 1 OCT 2014, DOI: 10.1002/spe.2290

  9. Contention management in federated virtualized distributed systems: implementation and evaluation

    Software: Practice and Experience

    Volume 44, Issue 3, March 2014, Pages: 353–368, Mohsen Amini Salehi, Adel Nadjaran Toosi and Rajkumar Buyya

    Article first published online : 4 SEP 2013, DOI: 10.1002/spe.2221

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

    Article first published online : 28 MAY 2013, DOI: 10.1002/spe.2203

  11. Drawing non-layered tidy trees in linear time

    Software: Practice and Experience

    Volume 44, Issue 12, December 2014, Pages: 1467–1484, Atze van der Ploeg

    Article first published online : 19 JUL 2013, DOI: 10.1002/spe.2213

  12. Programming distributed and adaptable autonomous components—the GCM/ProActive framework

    Software: Practice and Experience

    Françoise Baude, Ludovic Henrio and Cristian Ruz

    Article first published online : 13 MAY 2014, DOI: 10.1002/spe.2270

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

    Article first published online : 11 NOV 2013, DOI: 10.1002/spe.2234

  14. Design pattern based model transformation with tool support

    Software: Practice and Experience

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

    Article first published online : 11 NOV 2013, DOI: 10.1002/spe.2238

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

  16. Compressed bitmap indexes: beyond unions and intersections

    Software: Practice and Experience

    Owen Kaser and Daniel Lemire

    Article first published online : 15 SEP 2014, DOI: 10.1002/spe.2289

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

    Article first published online : 20 MAY 2013, DOI: 10.1002/spe.2200

  18. A system for extracting structural information from Social Network accounts

    Software: Practice and Experience

    Francesco Buccafurri, Gianluca Lax, Antonino Nocera and Domenico Ursino

    Article first published online : 1 JUL 2014, DOI: 10.1002/spe.2280

  19. A feedback technique for unsatisfiable UML/OCL class diagrams

    Software: Practice and Experience

    Volume 44, Issue 11, November 2014, Pages: 1379–1393, Asadullah Shaikh and Uffe Kock Wiil

    Article first published online : 24 JUN 2013, DOI: 10.1002/spe.2211

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