16 search results - page 1 / 4 » The Leader Election Protocol of IEEE 1394 in Maude |
ENTCS
2000
13 years 4 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
ENTCS
2002
13 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
B
2007
Springer
13 years 11 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
IPPS
2005
IEEE
13 years 10 months ago
2005
IEEE
We propose a new self-stabilizing anonymous leader election algorithm in a tree graph. We show the correctness of the protocol and show that the protocol terminates in O(n4 ) time...