Software - Practice and Experience (SPE), Volume 40, 2010
Volume 40, Number 1, January 2010
- 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
- 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 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, Z. 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
- 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 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team