RTSS
1995
IEEE
13 years 10 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 10 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
13 years 10 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 10 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
13 years 10 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
13 years 10 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 10 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
13 years 10 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
13 years 10 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 10 months ago
1995
IEEE