Detailed view

PhD thesis

École normale supérieure de Cachan - ENS Cachan (2003-09-15), Laurent Fribourg (Dir.)

Attached file list to this document:

PS these.ps(1.4 MB) PDF these.pdf(2.2 MB)

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

Marie Duflot1

Cette thèse se situe dans le cadre de la vérification de systèmes distribués. Plus précisément, nous nous intéressons aux méthodes de preuve de convergence d'algorithmes distribués s'exécutant sur des réseaux en anneau de taille paramétrée. Cette étude distingue de plus le cas des algorithmes probabilistes de celui des algorithmes déterministes.

1:	LSV - Laboratoire Spécification et Vérification [Cachan]

keyword(s) : systèmes distribués – systèmes paramétrés – convergence – algorithmes probabilistes

Distributed algorithms on parameterized rings - Probabilistic and deterministic convergence proofs.

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.

english keyword(s) : distributed systems – parameterized systems – convergence – probabilistic algorithms

tel-00091429, version 1

http://tel.archives-ouvertes.fr/tel-00091429

oai:tel.archives-ouvertes.fr:tel-00091429

From: Marie Duflot <>

Submitted on: Wednesday, 6 September 2006 12:00:54

Updated on: Wednesday, 6 September 2006 14:04:00