default search action
Real-Time Systems, Volume 7
Volume 7, Number 1, 1994
- Shirish S. Sathaye, Jay K. Strosnider:
Conventional and Early Token Release Scheduling Models for the IEEE 802.5 Taken Ring. 5-32 - Ulrich Schmid:
Monitoring Distributed Real-Times. 33-56 - Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga:
Formal Timing Analysis for Distributed Real-Time Programs. 57-90
Volume 7, Number 2, 1994
- Paulo Veríssimo:
Ordering and Timeliness Requirements of Dependable Real-Time Programs. 105-128 - Werner Schütz:
Fundamental Issues in Testing Distributed Real-Time Systems. 129-157 - Marion G. Harmon, Theodore P. Baker, David B. Whalley:
A Retargetable Technique for Predicting Execution Time of Code Segments. 159-182 - Thomas J. Marlowe, Alexander D. Stoyenko, Stephen P. Masticola, Lonnie R. Welch:
Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages. 183-212
Volume 7, Number 3, 1994
- Alan A. Bertossi, Luigi V. Mancini:
Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. 229-245 - Farnam Jahanian, Ragunathan Rajkumar, Sitaram C. V. Raju:
Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems. 247-273 - Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima:
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. 275-289 - Henk Schepers:
Compositional Reasoning about Responsive Systems with Limited Resources. 291-313
- Yingfeng Oh, Sang Hyuk Son:
Enhancing Fault-Tolerance in Rate-Monotonic Scheduling. 315-329
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.