Responsive Computing A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
1994, 1994
|
| Edition: | 1st ed. 1994 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Guest Editor Introduction
- Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems
- Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems
- Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines
- Compositional Reasoning about Responsive Systems with Limited Resources
- Concise Paper Enhancing Fault-Tolerance in Rate-Monotonic Scheduling