Real-Time Systems, Volume 20

Volume 20, Number 1, January 2001

• William Henderson, David Kendall, Adrian Robson: Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. 5-25
• Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon: Extending the SCR Method for Real-Time Systems. 27-49
• Tomasz Janowski, Mathai Joseph: Dynamic Scheduling and Fault-Tolerance: Specification and Verification. 51-81
• Sasikumar Punnekkat, Alan Burns, Robert I. Davis: Analysis of Checkpointing for Real-Time Systems. 83-102

Volume 20, Number 2, March 2001

• Wei Zhao: Challenges in Design and Implementation of Middlewares for Real-Time Systems: Guest Editor's Introduction. 115-116
• Christopher D. Gill, David L. Levine, Douglas C. Schmidt: The Design and Performance of a Real-Time CORBA Scheduling Service. 117-154
• Lisa Cingiser DiPippo, Victor Fay Wolfe, Levon Esibov, Gregory Cooper, Ramachandra Bethmangalkar, Russell Johnston, Bhavani M. Thuraisingham, John A. Maurer: Scheduling and Priority Mapping for Static Real-Time Middleware. 155-182
• Binoy Ravindran, Lonnie R. Welch, Behrooz Shirazi: Resource Management Middleware for Dynamic, Dependable Real-Time Systems. 183-196
• Hiromitsu Shimakawa, George Ido, Hideyuki Takada, Morikazu Takegaki: Real-Time Reactions in Supervisory Control According to Data Freshness. 197-210
• Edgar Nett, Martin Gergeleit, Michael Mock: Enhancing O-O Middleware to Become Time-Aware. 211-228

Volume 20, Number 3, May 2001

• Sheng-Tzong Cheng, Shyh-In Hwang: Optimal Real-Time Scheduling with Minimal Rejections and Minimal Finishing Time. 229-253
• Marco Di Natale, Antonio Meschi: Scheduling Messages with Earliest Deadline Techniques. 255-285
• Frédéric Herbreteau, Franck Cassez, Olivier Roux: Application of Partial-Order Methods to Reactive Programs with Event Memorization. 287-316