Sciweavers

Share
RTSS
1995
IEEE
9 years 3 months ago
Robust Aperiodic Scheduling Under Dynamic Priority Systems
Marco Spuri, Giorgio C. Buttazzo, Fabrizio Sensini
RTSS
1995
IEEE
9 years 3 months ago
A Scalable Real-Time Synchronization Protocol for Distributed Systems
A distributed protocol is proposed for the synchronization of real-time tasks that have variable resource requirements. The protocol is simple to implement and is intended for lar...
Injong Rhee, Graham R. Martin
RTSS
1995
IEEE
9 years 3 months ago
Managing Contention and Timing Constraints in a Real-Time Database System
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son
RTSS
1995
IEEE
9 years 3 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
RTSS
1995
IEEE
9 years 3 months ago
The Design of Large Real-Time Systems: The Time-Triggered Approach
Hermann Kopetz, Martin Braun, Christian Ebner, And...
RTSS
1995
IEEE
9 years 3 months ago
Enhancing Real-Time Schedules to Tolerate Transient Faults
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
Sunondo Ghosh, Rami G. Melhem, Daniel Mossé
RTSS
1995
IEEE
9 years 3 months ago
Dual Priority Scheduling
In this paper, we present a new strategy for providing flexibility in hard real-time systems. This approach, based on dual priorities, retains the offline guarantees afforded to...
Robert I. Davis, Andy J. Wellings
RTSS
1995
IEEE
9 years 3 months ago
On Slot Reuse for Isochronous Services in DQDB Networks
Ching-Chih Han, Chao-Ju Hou, Kang G. Shin
RTSS
1995
IEEE
9 years 3 months ago
Real-Time Computing with Lock-Free Shared Objects
James H. Anderson, Srikanth Ramamurthy, Kevin Jeff...
books