Skip to Main content Skip to Navigation
Theses

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

Résumé : 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.
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, July 2, 2020 - 5:26:02 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

685

Files downloads

591