302 search results - page 4 / 61 » Scalable Self Stabilization |
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
A long standing debate within ecology is to what extent ecosystem complexity and stability are related. Landmark theoretical studies claimed that the more complex an ecosystem, the...
SOFSEM
1997
Springer
13 years 11 months ago
1997
Springer
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
ICPADS
2006
IEEE
14 years 1 months ago
2006
IEEE
The advent of large scale multi-hop wireless networks highlights problems of fault tolerance and scale in distributed system, motivating designs that autonomously recover from tra...
IPPS
2002
IEEE
14 years 9 days 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
2000
IEEE
13 years 11 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...