Sciweavers

20126 search results - page 425 / 4026
» Timed Transition Systems
Sort
View
DATE
2000
IEEE
81views Hardware» more  DATE 2000»
15 years 12 months ago
Abstraction from Counters: An Application on Real-Time Systems
George Logothetis, Klaus Schneider
DATE
2000
IEEE
95views Hardware» more  DATE 2000»
15 years 12 months ago
Analyzing Real-Time Systems
Jürgen Ruf, Thomas Kropf
126
Voted
ICDCS
2000
IEEE
15 years 12 months ago
An Open Real-Time Environment for Parallel and Distributed Systems
Tei-Wei Kuo, Kwei-Jay Lin, Yu-Chung Wang
186
Voted
IPPS
2000
IEEE
15 years 11 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