189
click to vote
RTSS
15 years 6 months ago
1995 IEEE 
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...
141
click to vote
RTSS
15 years 6 months ago
1995 IEEE 
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...
123
click to vote
RTSS
15 years 6 months ago
1995 IEEE 
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...
122
click to vote
RTSS
15 years 6 months ago
1995 IEEE
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...
|
Control Systems