


Остановите войну!
for scientists:


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.