1665 search results - page 101 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
143
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
153
click to vote
REX
1991
15 years 7 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...
148
click to vote
RTS
2002
15 years 3 months ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...
145
click to vote
ECRTS
2004
IEEE
15 years 7 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...
152
click to vote
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...