Titlebook: Self-Stabilizing Systems; 7th International Sy Sébastien Tixeuil,Ted Herman Conference proceedings 2005 Springer-Verlag Berlin Heidelberg 2

使乳化

Towards Automatic Convergence Verification of Self-stabilizing Algorithms,s of dynamic systems – namely piecewise affine hybrid systems – and distributed algorithms suitable to be modeled in terms of these dynamic systems, a proof of convergence can be obtain .. Together with some additional non-automated arguments, the complete proof of self-stabilization can be derived.

MIR

Memory Management for Self-stabilizing Operating Systems,locates the entire physical memory to a single process in every given point of time, the second uses fixed partition of the memory among processes, and the last uses memory leases for dynamic memory allocations.

制造

Stabilizing Certificate Dispersal,tes a certificate dispersal. Our “dynamic dispersal” protocol eventually brings the system back to a legitimate state where the set of certificates assigned to each user constitutes a certificate dispersal.

hair-bulb

GRIEF

Self-stabilization Preserving Compiler,rk, we present a design for a self-stabilization preserving compiler designed for programs written in a language similar to the abstract state machine (ASM). The compiler preserves the stabilization property of the high level program.

Etching

Approximation of Self-stabilizing Vertex Cover Less Than 2,ntroduce a sequential (2–1/Δ)-approximation algorithm that uses a maximal matching with the high-degree-first order of vertices. Then we present a self-stabilizing algorithm based on the same idea, and show that the output of the algorithm is the same as that of the sequential one.

健忘症

脆弱带来

BIAS

BRIEF