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
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00091429
Contributor : Marie Duflot <>
Submitted on : Wednesday, September 6, 2006 - 12:00:54 PM
Last modification on : Thursday, February 9, 2017 - 3:36:29 PM
Document(s) archivé(s) le : Monday, April 5, 2010 - 11:32:30 PM

Files

Identifiers

  • HAL Id : tel-00091429, version 1

Collections

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〉

Share

Metrics

Record views

497

Document downloads

401