Real-Time Systems, Volume 24

Volume 24, Number 1, January 2003

• José María López, Manuel García, José Luis Díaz, Daniel F. García: Utilization Bounds for Multiprocessor Rate-Monotonic Scheduling. 5-28 BibTeX
• Kristina Lundqvist, Lars Asplund: A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. 29-54 BibTeX
• P. D. V. van der Stok, A. H. T. Janssen-Raemaekers: Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor. 55-91 BibTeX
• Sanjoy K. Baruah: Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks. 93-128 BibTeX

Volume 24, Number 2, March 2003

• Alan Burns: How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. 135-151 BibTeX
• Ramesh Chandra, Xue Liu, Lui Sha: On the Scheduling of Flexible and Reliable Real-Time Control Systems. 153-169 BibTeX
• Byung-Kyu Choi, Dong Xuan, Riccardo Bettati, Wei Zhao, Chengzhi Li: Utilization-Based Admission Control for Scalable Real-Time Communication. 171-202 BibTeX
• Christof Fetzer, Flaviu Cristian: Fail-Awareness: An Approach to Construct Fail-Safe Systems. 203-238 BibTeX
• Joël Goossens: Scheduling of Offset Free Systems. 239-258 BibTeX

Volume 24, Number 3, May 2003

• José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya: Integrating Schedulability Analysis and Design Techniques in SD. 267-302 BibTeX
• Yann-Hang Lee, C. Mani Krishna: Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems. 303-317 BibTeX
• Andy J. Wellings, Peter P. Puschner: Evaluating the Expressive Power of the Real-Time Specification for Java. 319-359 BibTeX