Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe

Abstract : The subject of this thesis concerns verification of distributed systems. More precisely, we focus on proving convergence of distributed algorithms running on ring networks whose size is a parameter. Moreover, our work has been done both for deterministic and probabilistic algorithms.
Document type :
Theses
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. French


https://tel.archives-ouvertes.fr/tel-00091429
Contributor : Marie Duflot <>
Submitted on : Wednesday, September 6, 2006 - 12:00:54 PM
Last modification on : Wednesday, September 6, 2006 - 2:04:00 PM

Files

Identifiers

  • HAL Id : tel-00091429, version 1

Citation

Marie Duflot. Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe. Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. French. <tel-00091429>

Export

Share

Metrics

Consultation de
la notice

210

Téléchargement du document

123