247 | -- | 254 | John A. Stankovic, Krithi Ramamritham. Editorial: What is Predictability for Real-Time Systems? |
255 | -- | 299 | Ron Koymans. Specifying Real-Time Properties with Metric Temporal Logic |
301 | -- | 324 | Sanjoy K. Baruah, Louis E. Rosier, Rodney R. Howell. Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor |
325 | -- | 346 | Min-Ih Chen, Kwei-Jay Lin. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time |
347 | -- | 364 | Horst 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 | -- | 382 | Wolfgang A. Halang, Alexander D. Stoyenko. Comparative Evaluation of High-Level Real-Time Programming Languages |