default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Parallel Programming, Volume 34
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 V. 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 M. 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
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.
last updated on 2024-12-27 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
