3389 search results - page 164 / 678 » Real-Time and Fault-Tolerant Systems |
179
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
187
click to vote
CBMS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
191
click to vote
RTSS
1995
IEEE
15 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...
161
click to vote
SNPD
2008
15 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
156
click to vote
CGVR
2006
15 years 8 months ago
2006
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...