12257 search results - page 83 / 2452 » Analysis of Algorithms |
IDEAL
2003
Springer
14 years 2 months ago
2003
Springer
CSB
2002
IEEE
14 years 2 months ago
2002
IEEE
ISCAS
2002
IEEE
14 years 2 months ago
2002
IEEE
PDP
2002
IEEE
14 years 2 months ago
2002
IEEE
GI
2001
Springer
14 years 1 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...