Journal: Real-Time Systems

Volume 2, Issue 4

247 -- 254John A. Stankovic, Krithi Ramamritham. Editorial: What is Predictability for Real-Time Systems?
255 -- 299Ron Koymans. Specifying Real-Time Properties with Metric Temporal Logic
301 -- 324Sanjoy K. Baruah, Louis E. Rosier, Rodney R. Howell. Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor
325 -- 346Min-Ih Chen, Kwei-Jay Lin. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time
347 -- 364Horst Wedde, Ghasem S. Alijani, Dorota M. Huizinga, Gookhai Kang, Bo-Kyung Kim. MELODY: A Completely Decentralized Adaptive File System for Handling Real-Time Tasks in Unpredictable Environments
365 -- 382Wolfgang A. Halang, Alexander D. Stoyenko. Comparative Evaluation of High-Level Real-Time Programming Languages