Sciweavers

3387 search results - page 127 / 678
» Model-Checking for Real-Time Systems
Sort
View
DATE
2000
IEEE
95views Hardware» more  DATE 2000»
15 years 10 months ago
Analyzing Real-Time Systems
Jürgen Ruf, Thomas Kropf
IPPS
2000
IEEE
15 years 10 months ago
Real-Time Coordination in Distributed Multimedia Systems
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
Theophilos A. Limniotes, George A. Papadopoulos
ADAEUROPE
1999
Springer
15 years 10 months ago
The Ceiling Protocol in Multi-moded Real-Time Systems
Jorge Real, Andy J. Wellings