155
click to vote
RTSS
15 years 4 months ago
1994 IEEE 
The use of caches poses a difficult tradeoff for architects of real-time systems. While caches provide significant performance advantages, they have also been viewed as inherently...
110
Voted
HYBRID
15 years 4 months ago
1994 Springer 
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
105
click to vote
RTSS
15 years 4 months ago
1994 IEEE 
The problem of uniprocessor scheduling under conditions of overload is investigated. The system objective is to maximzze the number of tasks that complete by their deadlines. For ...
99
Voted
HYBRID
15 years 4 months ago
1994 Springer 
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
RTSS
15 years 4 months ago
1994 IEEE 
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
|
Control Systems