default search action
Real-Time Systems, Volume 3
Volume 3, Number 1, 1991
- Richard A. Volz, Liu Sha, Dwight Wilcox:
Maintaining Global Time in Futurebus+. 5-17 - Alan Burns, Andy J. Wellings:
Priority Inheritance and Message Passing Communication: A Formal Treatment. 19-44 - Ralf Agne:
global Cyclic Scheduling: A Method to Guarantee the Timing Behavior of Distributed Real-Time Systems. 45-66 - Theodore P. Baker:
Stack-based Scheduling of Realtime Processes. 67-99
Volume 3, Number 2, 1991
- Giovanni Cantone:
Guest Introduction: Some Italian Research on Real-Time Systems. 113-114 - K. Arvind, Krithi Ramamritham, John A. Stankovic:
A Local Area Network Architecture for Communication in Distributed Real-Time Systems. 115-147 - Marco Bottazzi, Claudio Salati:
A Hierarchical Approach to Systems with Heterogeneous Real-Time Requirements. 149-163 - Sandro Morasca, Mauro Pezzè, Marco Trubian:
Timed High-Level Nets. 165-189 - Edoardo Corsetti, Angelo Montanari, Elena Ratto:
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. 191-215
Volume 3, Number 3, 1991
- Jack P. C. Verhoosel, Erik J. Luit, Dieter K. Hammer, E. Jansen:
A Static Scheduling Algorithm for Distributed Real-Time Systems. 227-246 - Ken Chen:
A Study on the timeliness Property in Real-Time Systems. 247-273 - Michelle C. McElvany, P. David Stotts:
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches. 275-305 - Shenze Chen, John A. Stankovic, James F. Kurose, Donald F. Towsley:
Performance Evaluation of Two New Disk Scheduling algorithms for Real-Time Systems. 307-336
Volume 3, Number 4, 1991
- Alan Burns, Andy J. Wellings:
Criticality and Utility in the Next Generation. 351-354 - Ralf Guido Herrtwich:
Time Capsules: An Abstraction for Access to Continuous-Media Data. 355-376 - Narain H. Gehani, Krithi Ramamritham:
Real-Time Concurrent C: A Language for Programming Dynamic Real-Time Systems. 377-405 - Viktor Cingel, Norbert Fristacky:
A Temporal Logic-Based Model of Event-Driven Nets. 407-428
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.