Real-Time Systems, Volume 40

Volume 40, Number 1, October 2008

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Symbolic quality control for multimedia applications. 1-43
Electronic Edition (link) BibTeX
Mehdi Amirijoo, Jörgen Hansson, Svante Gunnarsson, Sang Hyuk Son:
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems. 44-76
Electronic Edition (link) BibTeX
Jukka Mäki-Turja, Mikael Nolin:
Efficient implementation of tight response-times for tasks with offsets. 77-116
Electronic Edition (link) BibTeX
Rodolfo Pellizzoni, Marco Caccamo:
M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms. 117-147
Electronic Edition (link) BibTeX

Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo:
A constant-time dynamic storage allocator for real-time systems. 149-179
Electronic Edition (link) BibTeX
José María López, José Luis Díaz, Joaquín Entrialgo, Daniel García:
Stochastic analysis of real-time systems under preemptive priority-driven scheduling. 180-207
Electronic Edition (link) BibTeX
Ming Xiong, Qiong Wang, Krithi Ramamritham:
On earliest deadline first scheduling for temporal consistency maintenance. 208-237
Electronic Edition (link) BibTeX

Special Issue: Euromicro Conference on Real-Time Systems (ECRTS 2007); Guest Editor: Michael González Harbour

Michael González Harbour:
Guest Editorial: special issue on the Euromicro Conference on Real-Time Systems (ECRTS 2007). 239-240
Electronic Edition (link) BibTeX
Yanching Chu, Alan Burns:
Flexible hard real-time scheduling for deliberative AI systems. 241-263
Electronic Edition (link) BibTeX
Theodore P. Baker, Michele Cirinei, Marko Bertogna:
EDZL scheduling analysis. 264-289
Electronic Edition (link) BibTeX
Praveen Jayachandran, Tarek F. Abdelzaher:
Delay composition in preemptive and non-preemptive real-time pipelines. 290-320
Electronic Edition (link) BibTeX
Anis Koubaa, André Cunha, Mário Alves, Eduardo Tovar:
TDBS: a time division beacon scheduling mechanism for ZigBee cluster-tree wireless sensor networks. 321-354
Electronic Edition (link) BibTeX