229 search results - page 13 / 46 » Fault-Tolerant Clock Synchronization in CAN |
125
click to vote
ENTCS
2006
15 years 1 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
122
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
102
click to vote
SSS
2009
Springer
15 years 6 months ago
2009
Springer
We propose a communication scheme for GALS systems with independent but approximately synchronized clock sources, which guarantees high-speed metastability-free communication betwe...
146
click to vote
WISES
2008
15 years 3 months ago
2008
In South-East Asia, huge swarms of fireflies synchronously emit light flashes to attract mating partners. The underlying principle can be used to implement a robust and scalable d...
109
Voted
ADHOC
2005
15 years 1 months ago
2005
Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...