302 search results - page 7 / 61 » Scalable Self Stabilization |
PARELEC
2006
IEEE
14 years 1 months ago
2006
IEEE
IPPS
2005
IEEE
14 years 1 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...
HIPC
2003
Springer
14 years 18 days ago
2003
Springer
ICPADS
2002
IEEE
14 years 10 days ago
2002
IEEE
Wormhole routing is most common in parallel architectures in which messages are sent in small fragments called flits. It is a lightweight and efficient method of routing message...
GI
2001
Springer
13 years 12 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...