


default search action
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 - Jacek Blazewicz

, Klaus H. Ecker:
Mutliprocessor Task Scheduling with Resource Requirements. 37-53 - Shenze Chen, Donald F. Towsley

:
Scheduling Customers in a Non-Removal Real-time System with an Application to Disk Scheduling. 55-72 - Alan Burns, Andy J. Wellings:

HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. 73-114
Volume 6, Number 2, 1994
- Ken Tindell, Alan Burns, Andy J. Wellings:

An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. 133-151 - Krzysztof Sacha

:
Real-Time Software Specification and Validation with Transnet. 153-172 - Jozef Hooman:

Compositional Verification of a Distributed Real-Time Arbitration Protocol. 173-205 - Nima Homayoun, Parameswaran Ramanathan:

Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-time Systems. 207-235
Volume 6, Number 3, 1994
- Michael G. Rodd, Salem F. K. Al-Rowaihi:

Temporal Modeling of Real-Time Communication Protocols Based on a Process/Channel Approach. 243-262 - John D. Holt, Michael G. Rodd:

An Architecture for Real-Time Distributed Artificial Intelligent Systems. 263-288 - Stefan Poledna:

Replica Determinism in Distributed Real-Time Systems: A Brief Survey. 289-316 - Alan Garvey, Victor R. Lesser:

A Survey of Research in Deliberative Real-Time Artificial Intelligence. 317-347

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














