Journal: International Journal of Parallel Programming

Volume 34, Issue 6

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

Volume 34, Issue 5

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

Volume 34, Issue 4

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

Volume 34, Issue 3

189 -- 192Chris R. Jesshope, Alexander V. Shafarenko. Special issue on Micro-grids - Guest Editor Introduction
193 -- 211Carmen Martínez, Enrique Vallejo, Ramón Beivide, Cruz Izu, Miquel Moretó. Dense Gaussian Networks: Suitable Topologies for On-Chip Multiprocessors
213 -- 235Pedro Trancoso, Paraskevas Evripidou, Kyriakos Stavrou, Costas Kyriacou. A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model
237 -- 260Asadollah Shahbahrami, Ben H. H. Juurlink, Demid Borodin, Stamatis Vassiliadis. Avoiding Conversion and Rearrangement Overhead in SIMD Architectures
261 -- 317Sylvain 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

Volume 34, Issue 2

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

Volume 34, Issue 1

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