Volume 34, Number 1, March 2006

• 
  Ian G. Harris, Franco Fummi: Guest Editor's Introduction. 1-2
• 
  Xi Chen, Harry Hsieh, Felice Balarin: Verification Approach of Metropolis Design Framework for Embedded Systems. 3-27
• 
  Samar Abdi, Daniel Gajski: Verification of System Level Model Transformations. 29-59
• 
  David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan: Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. 61-91
• 
  Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Efficient Techniques for Automatic Verification-Oriented Test Set Optimization. 93-109

Volume 34, Number 2, April 2006

• 
  Bilha Mendelson, Shlomit S. Pinter, Ayal Zaks: Introduction. 111-112
• 
  Michael Factor, Assaf Schuster, Konstantin Shagin: A Platform-Independent Distributed Runtime for Standard Multithreaded Java. 113-142
• 
  Gregory Chockler, Dahlia Malkhi: Light-Weight Leases for Storage-Centric Coordination. 143-170
• 
  Alexander Gendler, Avi Mendelson, Yitzhak Birk: A PAB-Based Multi-Prefetcher Mechanism. 171-188

Volume 34, Number 3, June 2006

• 
  Chris R. Jesshope, Alexander V. Shafarenko: Special issue on Micro-grids - Guest Editor Introduction. 189-192
• 
  Carmen Martínez, Enrique Vallejo, Ramón Beivide, Cruz Izu, Miquel Moretó: Dense Gaussian Networks: Suitable Topologies for On-Chip Multiprocessors. 193-211
• 
  Pedro Trancoso, Paraskevas Evripidou, Kyriakos Stavrou, Costas Kyriacou: A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model. 213-235
• 
  Asadollah Shahbahrami, Ben H. H. Juurlink, Demid Borodin, Stamatis Vassiliadis: Avoiding Conversion and Rearrangement Overhead in SIMD Architectures. 237-260
• 
  Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam: Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies. 261-317

Volume 34, Number 4, August 2006

• 
  Chris R. Jesshope, Alexander V. Shafarenko: Guest Editor's Introduction (Part 2). 319-322
• 
  Gajinder Panesar, Daniel Towner, Andrew Duller, Alan Gray, Will Robbins: Deterministic Parallel Processing. 323-341
• 
  Ian Bell, Nabil Hasasneh, Chris R. Jesshope: Supporting Microthread Scheduling and Synchronisation in CMPs. 343-381
• 
  Clemens Grelck, Sven-Bodo Scholz: SAC - A Functional Array Language for Efficient Multi-threaded Execution. 383-427

Volume 34, Number 5, October 2006

• 
  Paraskevas Evripidou, George Samaras: Metacomputing with Mobile Agents. 429-458
• 
  Paul Feautrier: Scalable and Structured Scheduling. 459-487

Volume 34, Number 6, December 2006

• 
  Aldo Aiello, Mario Mango Furnari, A. Massarotti, Salvatore Brandi, V. Caputo, V. Barone: An Experimental Ontology Server for an Information Grid Environment. 489-508
• 
  Ales Holobar, Milan Ojstersek, Damjan Zazula: Distributed Jacobi Joint Diagonalization on Clusters of Personal Computers. 509-530

last updated on Wed May 22 05:45:34 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page