Real-Time Systems, Volume 4
Volume 4, Number 1, 1992
Jonathan S. Ostroff: A Verifier for Real-Time Properties. 5-35- C. Douglas Locke: Software Architecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executives. 37-53
- Harold W. Lawson: Cy-Clone: An Approach to the Engineering of Resource Adequate Cyclic Real-Time Systems. 55-83
- 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
Volume 4, Number 2, 1992
- P. Pleinevaux: An Improved Hard Real-Time Scheduling for the IEEE 802.5. 99-112
- Rudolf Jäger: Handling Real-Time Communication Constraints in a Mobile Station used for the Pan European Digital Mobile Communication Network. 113-123
- 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
- Ken Tindell, Alan Burns, Andy J. Wellings: Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. 145-165
- Wolfgang A. Halang, Alexander D. Stoyenko: Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing. 167-168
Volume 4, Number 3, 1992
- Marc H. Graham: Issues in Real-Time Data Management. 185-202
- Jayant R. Haritsa, Michael J. Carey, Miron Livny: Data Access Scheduling in Firm Real-Time Database Systems. 203-241
- Jiandong Huang, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley, Bhaskar Purimetla: Priority Inheritance in Soft Real-Time Databases. 243-268
- Sang Hyuk Son, Juhnyoung Lee, Yi Lin: Hybrid Protocols Using Dynamic Adjustment of serialization Order for Real-Time Concurrency Control. 269-276
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
- Alexander D. Stoyenko, Thomas J. Marlowe: Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention. 307-329
- E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. 331-352
- Nelson H. Weiderman, Nick I. Kamenoff: Hartstone Uniprocessor Benchmark: Definitions and Experiments for Real-Time Systems. 353-382
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team