Real-Time Systems, Volume 4

Volume 4, Number 1, 1992

• Jonathan S. Ostroff: A Verifier for Real-Time Properties. 5-35 BibTeX
• C. Douglas Locke: Software Architecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executives. 37-53 BibTeX
• Harold W. Lawson: Cy-Clone: An Approach to the Engineering of Resource Adequate Cyclic Real-Time Systems. 55-83 BibTeX
• C. Mani Krishna, Yann-Hang Lee: Workshop Report: 1991 Workshop on Architectural Aspects of Real-Time Systems, San Antonio, Texas, U. S. A.. 85-87 BibTeX

Volume 4, Number 2, 1992

• P. Pleinevaux: An Improved Hard Real-Time Scheduling for the IEEE 802.5. 99-112 BibTeX
• Rudolf Jäger: Handling Real-Time Communication Constraints in a Mobile Station used for the Pan European Digital Mobile Communication Network. 113-123 BibTeX
• Sanjoy K. Baruah, Gilad Koren, D. Mao, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis Shasha, Fuxing Wang: On the Competitiveness of On-Line Real-Time Task Scheduling. 125-144 BibTeX
• Ken Tindell, Alan Burns, Andy J. Wellings: Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. 145-165 BibTeX
• Wolfgang A. Halang, Alexander D. Stoyenko: Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing. 167-168 BibTeX

Volume 4, Number 3, 1992

• Marc H. Graham: Issues in Real-Time Data Management. 185-202 BibTeX
• Jayant R. Haritsa, Michael J. Carey, Miron Livny: Data Access Scheduling in Firm Real-Time Database Systems. 203-241 BibTeX
• Jiandong Huang, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley, Bhaskar Purimetla: Priority Inheritance in Soft Real-Time Databases. 243-268 BibTeX

• Sang Hyuk Son, Juhnyoung Lee, Yi Lin: Hybrid Protocols Using Dynamic Adjustment of serialization Order for Real-Time Concurrency Control. 269-276 BibTeX

Volume 4, Number 4, 1992

• Steven Berryman, Ian Sommerville: Modeling and Evaluating the Feasibility of Timing Constraints Under Different Real-time scheduling Algorithms. 287-306 BibTeX
• Alexander D. Stoyenko, Thomas J. Marlowe: Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention. 307-329 BibTeX
• E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. 331-352 BibTeX
• Nelson H. Weiderman, Nick I. Kamenoff: Hartstone Uniprocessor Benchmark: Definitions and Experiments for Real-Time Systems. 353-382 BibTeX