158
click to vote
RTSS
15 years 5 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...
115
click to vote
HYBRID
15 years 5 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, ...
108
click to vote
RTSS
15 years 5 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 ...
103
click to vote
RTSS
15 years 5 months ago
1994 IEEE 
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
103
click to vote
HYBRID
15 years 5 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...
|
Control Systems