What is predictability for real-time systems? John A. StankovicKrithi Ramamritham Editorial Pages: 247 - 254
Specifying real-time properties with metric temporal logic Ron Koymans OriginalPaper Pages: 255 - 299
Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor Sanjoy K. BaruahLouis E. RosierRodney R. Howell OriginalPaper Pages: 301 - 324
Dynamic priority ceilings: A concurrency control protocol for real-time systems Min-Ih ChenKwei-Jay Lin OriginalPaper Pages: 325 - 346
MELODY: A completely decentralized adaptive file system for handling real-time tasks in unpredictable environments Horst F. WeddeDorota HuizingaGhasem S. Alijani OriginalPaper Pages: 347 - 364
Comparative evaluation of high-level real-time programming languages Wolfgang A. HalangAlexander D. Stoyenko OriginalPaper Pages: 365 - 382