RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE
RTSS
1995
IEEE
14 years 4 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...
RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE
RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE
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...
RTSS
1995
IEEE
14 years 4 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...
RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE
RTSS
1995
IEEE
14 years 4 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...
RTSS
1995
IEEE
14 years 4 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...
RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE
RTSS
1995
IEEE
14 years 4 months ago
1995
IEEE