Real-Time Systems 2003: Vol 24 Table of Contents PDF
Preview Real-Time Systems 2003: Vol 24 Table of Contents
Table of Contents: Volume 24 Number |! Fess ees oh eh ah eS J. M. Lopez, M. Garcia, J. L. Diaz and D. F. Garcta A Ravenscar-Compliant Run-Time Kernel for Safety-Critical Systems Kristina Lundqvist and Lars Asplund Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor P. D. V. van der Stok and A. H. T. Janssen-Raemaekers Dynamic- and Static-Priority Scheduling of Recurring Real-Time Tasks Sanjoy K. Baruah Number 2 How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study A. Burns On the Scheduling of Flexibie and Reliable Real-Time Control Systems Ramesh Chandra, Xue Liu and Lui Sha Utilization-Based Admission Control for Scalable Real-Time Communication . . .... Byung-Kyu Choi, Dong Xuan, Chengzhi Li, Riccardo Bettati and Wei Zhao Fail-Awareness: An Approach to Construct Fail-Safe Systems Christof Fetzer and Flaviu Cristian Joél Goossens Number 3 Integrating Schedulability Analysis and Design Techniques in SDL ......... José M. Alvarez, Manuel Diaz, Luis Llopis, Ernesto Pimentel and José M. Troya Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems Yann-Hang Lee and C. M. Krishna Evaluating the Expressive Power of the Real-Time Specification for Java 4. J. Wellines and P. Puschner
The list of books you might like
