45 search results - page 3 / 9 » Self Stabilizing Distributed Queuing |
ICPADS
2006
IEEE
14 years 9 days ago
2006
IEEE
HIPC
2003
Springer
13 years 11 months ago
2003
Springer
IPPS
2009
IEEE
14 years 28 days ago
2009
IEEE
IPPS
2002
IEEE
13 years 11 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
IPPS
2007
IEEE
14 years 17 days ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...