Volume 34,
Number 1,
March 2006
- Ian G. Harris, Franco Fummi:
Guest Editor's Introduction.
1-2
Electronic Edition (link) BibTeX
- Xi Chen, Harry Hsieh, Felice Balarin:
Verification Approach of Metropolis Design Framework for Embedded Systems.
3-27
Electronic Edition (link) BibTeX
- Samar Abdi, Daniel Gajski:
Verification of System Level Model Transformations.
29-59
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero:
Efficient Techniques for Automatic Verification-Oriented Test Set Optimization.
93-109
Electronic Edition (link) BibTeX
Volume 34,
Number 2,
April 2006
Volume 34,
Number 3,
June 2006
- Chris R. Jesshope, Alexander V. Shafarenko:
Special issue on Micro-grids - Guest Editor Introduction.
189-192
Electronic Edition (link) BibTeX
- Carmen Martínez, Enrique Vallejo, Ramón Beivide, Cruz Izu, Miquel Moretó:
Dense Gaussian Networks: Suitable Topologies for On-Chip Multiprocessors.
193-211
Electronic Edition (link) BibTeX
- Pedro Trancoso, Paraskevas Evripidou, Kyriakos Stavrou, Costas Kyriacou:
A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model.
213-235
Electronic Edition (link) BibTeX
- Asadollah Shahbahrami, Ben H. H. Juurlink, Demid Borodin, Stamatis Vassiliadis:
Avoiding Conversion and Rearrangement Overhead in SIMD Architectures.
237-260
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 34,
Number 4,
August 2006
Volume 34,
Number 5,
October 2006
Volume 34,
Number 6,
December 2006
Copyright © Sun May 17 00:03:01 2009
by Michael Ley (ley@uni-trier.de)
