5149 search results - page 186 / 1030 » Timed Asynchronous Distributed Systems |
133
click to vote
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
116
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
132
Voted
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
130
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In reconfigurable systems, reconfiguration latency is a very important factor impact the system performance. In this paper, a framework is proposed that integrates the temporal pa...
147
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...