default search action
Software - Practice and Experience (SPE), Volume 40, 2010
Volume 40, Number 1, January 2010
- Maria Jump, Kathryn S. McKinley:
Detecting memory leaks in managed languages with Cork. 1-22 - Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. 23-43 - Lin Gao, Jingling Xue, Tin-Fook Ngai:
Loop recreation for thread-level speculation on multicore processors. 45-72 - Abdulmalik Al-Gahmi, Jonathan E. Cook:
A service-based runtime environment for native applications. 73-100
Volume 40, Number 2, February 2010
- Andrea Romei, Franco Turini:
XML data mining. 101-130 - Vo Ngoc Anh, Alistair Moffat:
Index compression using 64-bit words. 131-147 - Mehmet Adak, Okan Topçu, Halit Oguztüzün:
Model-based code generation for HLA federates. 149-175 - Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi, Andrea Di Biagio:
A highly flexible, parallel virtual machine: design and experience of ILDJIT. 177-207
Volume 40, Number 3, March 2010
- Arkadiusz Janik, Krzysztof Zielinski:
Adaptability mechanisms for autonomic system implementation with AAOP. 209-223 - Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks:
Serializing C intermediate representations for efficient and portable parsing. 225-238 - Hyunjin Lee, Lei Jin, Kiyeon Lee, Socrates Demetriades, Michael Moeng, Sangyeun Cho:
Two-phase trace-driven simulation (TPTS): a fast multicore processor architecture simulation approach. 239-258 - Jeremy Philippe, Noel De Palma, Fabienne Boyer, Olivier Gruber:
Self-adaptation of service level in distributed systems. 259-283
Volume 40, Number 4, 10 April 2010
- Jilles van Gurp, Christian Prehofer, Jan Bosch:
Comparing practices for reuse in integration-oriented software product lines and large open source software projects. 285-312 - Peter J. Robinson, Keith L. Clark:
Pedro: a publish/subscribe server using Prolog technology. 313-329 - Cristian Mateos, Alejandro Zunino, Marcelo Campo:
m-JGRIM: a novel middleware for Gridifying Java applications into mobile Grid services. 331-362 - Jordi Cucurull-Juan, Guillermo Navarro-Arribas, Ramon Martí, Sergi Robles, Joan Borrell:
An efficient and secure agent code distribution service. 363-386
Volume 40, Number 5, 25 April 2010
- Thomas R. Kramer:
Automatic detection and replacement of syntactic constructs causing shift/reduce conflicts. 387-404 - Rodrigo N. Calheiros, Rajkumar Buyya, César A. F. De Rose:
Building an automated and self-configurable emulation testbed for grid applications. 405-429 - Giuseppe Amato, Stefano Chessa, Claudio Vairo:
MaD-WiSe: a distributed stream management system for wireless sensor networks. 431-451 - Ian Philip Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos:
Generalizable safety annotations for specification of failure patterns. 453-483
Volume 40, Number 6, May 2010
- Heung Seok Chae, Jaegeol Park, Jian Feng Cui, Joon-Sang Lee:
An adaptive load balancing management technique for RFID middleware systems. 485-506 - Martin Schoeberl, Wolfgang Puffitsch, Rasmus Ulslev Pedersen, Benedikt Huber:
Worst-case execution time analysis for a Java processor. 507-542
Volume 40, Number 7, June 2010
- Marcin Milkowski:
Developing an open-source, rule-based proofreading tool. 543-566 - J. Berdajs, Zoran Bosnic:
Extending applications using an advanced approach to DLL injection and API hooking. 567-584
Volume 40, Number 8, July 2010
- Hakjoo Oh, Kwangkeun Yi:
An algorithmic mitigation of large spurious interprocedural cycles in static analysis. 585-603 - Jinkyu Jeong, Euiseong Seo, Jeonghwan Choi, Hwanju Kim, Heeseung Jo, Joonwon Lee:
KAL: kernel-assisted non-invasive memory leak tolerance with a general-purpose memory allocator. 605-625 - Matthias Hauswirth, Peter F. Sweeney, Amer Diwan:
Temporal vertical profiling. 627-654 - Phillip J. Brooke, Richard F. Paige, Christopher Power:
Document-centric XML workflows with fragment digital signatures. 655-672 - Sebastian Deorowicz:
Solving longest common subsequence and related problems on graphical processing units. 673-700 - Johannes Koskinen, Markus Kettunen, Tarja Systä:
Behavioral profiles - a way to model and validate program behavior. 701-733 - Luca Paolino, Monica Sebillo, Genoveffa Tortora, Giuliana Vitiello:
Towards a new approach to query search engines: the Search Tree visual language. 735-750
Volume 40, Number 9, August 2010
- Jürgen Abel:
Post BWT stages of the Burrows-Wheeler compression algorithm. 751-777
- Pablo Sendín-Raña, E. Rodríguez-Fernández, Francisco J. González-Castaño, Enrique Costa-Montenegro, Pedro S. Rodríguez-Hernández, José M. Pousada Carballo, Juan C. Burguillo-Rial:
Web-oriented business intelligence solution based on Associative Query Logic. 779-796 - Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre:
Communicating between the kernel and user-space in Linux using Netlink sockets. 797-810 - Ignacio José García del Amo, David A. Pelta, Antonio D. Masegosa, José L. Verdegay:
A software modeling approach for the design and analysis of cooperative optimization systems. 811-823 - Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni, Abbas Heydarnoori:
Visualizing and exploring profiles with calling context ring charts. 825-847
Volume 40, Number 10, September 2010
- Alejandro Estrella-Balderrama, J. Joseph Fowler, Stephen G. Kobourov:
GraphSET, a tool for simultaneous graph drawing. 849-863 - Chun-Feng Hsiao, Chih-Ping Chu:
Enhancing SCORM through creating a reusable JAVA class repository. 865-881 - Karthick Seshadri, K. Viswanathan Iyer:
Parallelization of a dynamic SVD clustering algorithm and its application in information retrieval. 883-896 - Giuseppe Scanniello, Anna D'Amico, Carmela D'Amico, Teodora D'Amico:
Architectural layer recovery for software system understanding and evolution. 897-916 - Eyhab Al-Masri, Qusay H. Mahmoud:
WSB: a broker-centric framework for quality-driven web service discovery. 917-941
Volume 40, Number 11, October 2010
- Yongpeng Liu, Hong Zhu:
A survey of the research on power management techniques for high-performance systems. 943-964 - Marina Barsky, Ulrike Stege, Alex Thomo:
A survey of practical algorithms for suffix tree construction in external memory. 965-988 - Benjamin A. Kuperman, Eugene H. Spafford:
Audlib: a configurable, high-fidelity application audit mechanism. 989-1005 - Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora:
Fine-grained management of software artefacts: the ADAMS system. 1007-1034
Volume 40, Number 12, November / December 2010
- Åge Kvalnes, Dag Johansen, Pål Halvorsen, Carsten Griwodz:
Support for enterprise consolidation of I/O bound services. 1035-1051 - Mathieu Desnoyers, Michel R. Dagenais:
Synchronization for fast and reentrant operating system kernel tracing. 1053-1072 - Deepak S. Turaga, Henrique Andrade, Bugra Gedik, Chitra Venkatramani, Olivier Verscheure, Jeffrey David Harris, John Cox, William Szewczyk, Paul Jones:
Design principles for developing stream processing applications. 1073-1104
- R. Nigel Horspool, Andy J. Wellings:
Focus Section Editorial. 1105
- Inah Omoronyia, John D. Ferguson, Marc Roper, Murray Wood:
A review of awareness in distributed collaborative software engineering. 1107-1133 - Horacio González-Vélez, Mario Leyton:
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. 1135-1160 - Ebaa Fayyoumi, B. John Oommen:
A survey on statistical disclosure control and micro-aggregation techniques for secure statistical databases. 1161-1188
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.