352 search results - page 6 / 71 » Fail-Awareness in Timed Asynchronous Systems |
79
Voted
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
74
Voted
CAV
2000
Springer
15 years 1 months ago
2000
Springer
TC
2002
14 years 9 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
SEUS
2010
IEEE
14 years 8 months ago
2010
IEEE
Most of the existing clock synchronization algorithms for wireless sensor networks can be viewed as proactive clock synchronization since they require nodes to periodically synchro...
85
Voted
FM
1997
Springer
15 years 1 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...