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
Kristina Lundqvist
,
Lars Asplund
: A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. 29-54
P. D. V. van der Stok
,
A. H. T. Janssen-Raemaekers
: Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor. 55-91
Sanjoy K. Baruah
: Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks. 93-128
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
Ramesh Chandra
,
Xue Liu
,
Lui Sha
: On the Scheduling of Flexible and Reliable Real-Time Control Systems. 153-169
Byung-Kyu Choi
,
Dong Xuan
,
Riccardo Bettati
,
Wei Zhao
,
Chengzhi Li
: Utilization-Based Admission Control for Scalable Real-Time Communication. 171-202
Christof Fetzer
,
Flaviu Cristian
: Fail-Awareness: An Approach to Construct Fail-Safe Systems. 203-238
Joël Goossens
: Scheduling of Offset Free Systems. 239-258
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
Yann-Hang Lee
,
C. Mani Krishna
: Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems. 303-317
Andy J. Wellings
,
Peter P. Puschner
: Evaluating the Expressive Power of the Real-Time Specification for Java. 319-359
Copyright ©
Tue Dec 1 16:36:07 2009 by
Michael Ley
(
ley@uni-trier.de
)