9210 search results - page 214 / 1842 » Analyzing Real-Time Systems |
ECRTS
2004
IEEE
14 years 2 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
FGR
2004
IEEE
14 years 2 months ago
2004
IEEE
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...
RTSS
1995
IEEE
14 years 1 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
REX
1991
14 years 1 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
COORDINATION
2010
Springer
14 years 1 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...