


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














