3134 search results - page 372 / 627 » Embedded System Design for Network Time Synchronization |
155
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
135
click to vote
ISCC
2008
IEEE
15 years 11 months ago
2008
IEEE
Network monitoring is a complex task that generally requires the use of different tools for specific purposes. This paper describes a flexible network monitoring tool, called Pa...
161
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sensor networks are currently an active research area mainly due to the potential of their applications. In this paper we investigate the use of Wireless Sensor Networks (WSN) for...
130
click to vote
ICPP
1990
IEEE
15 years 8 months ago
1990
IEEE
All-to-all (ATA) reliable broadcast is the problem of reliably distributing information from every node to every other node in point-to-point interconnection networks. A good solut...
149
click to vote
PODC
2000
ACM
15 years 8 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...