Real-Time Systems, Volume 6

Volume 6, Number 1, 1994

Xiaoping Yuan, Manas Saksena, Ashok K. Agrawala: A Decomposition Approach to Non-Preemptive Real-Time Scheduling. 7-35 BibTeX
Jacek Blazewicz, Klaus H. Ecker: Mutliprocessor Task Scheduling with Resource Requirements. 37-53 BibTeX
Shenze Chen, Donald F. Towsley: Scheduling Customers in a Non-Removal Real-time System with an Application to Disk Scheduling. 55-72 BibTeX
Alan Burns, Andy J. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. 73-114 BibTeX

Ken Tindell, Alan Burns, Andy J. Wellings: An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. 133-151 BibTeX
Krzysztof M. Sacha: Real-Time Software Specification and Validation with Transnet. 153-172 BibTeX
Jozef Hooman: Compositional Verification of a Distributed Real-Time Arbitration Protocol. 173-205 BibTeX
Nima Homayoun, Parameswaran Ramanathan: Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-time Systems. 207-235 BibTeX

M. G. Rodd, S. F. Al-Rowaihi: Temporal Modeling of Real-Time Communication Protocols Based on a Process/Channel Approach. 243-262 BibTeX
J. Holt, M. G. Rodd: An Architecture for Real-Time Distributed Artificial Intelligent Systems. 263-288 BibTeX
Stefan Poledna: Replica Determinism in Distributed Real-Time Systems: A Brief Survey. 289-316 BibTeX
Alan Garvey, Victor R. Lesser: A Survey of Research in Deliberative Real-Time Artificial Intelligence. 317-347 BibTeX