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
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00091429
Contributor : Marie Duflot <>
Submitted on : Wednesday, September 6, 2006 - 12:00:54 PM
Last modification on : Thursday, January 11, 2018 - 6:20:13 AM
Long-term archiving on : 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

633

Files downloads

535