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
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. Français


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
Document(s) archivé(s) le : Monday, April 5, 2010 - 11:32:30 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. Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. Français. <tel-00091429>

Export

Share

Metrics

Record views

338

Document downloads

240