45 search results - page 3 / 9 » Self Stabilizing Distributed Queuing |
ICPADS
2006
IEEE
14 years 4 months ago
2006
IEEE
HIPC
2003
Springer
14 years 4 months ago
2003
Springer
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
IPPS
2002
IEEE
14 years 3 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 5 months 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...