Algorithmes distribués sur des anneaux paramétrés : preuves de convergence probabiliste et déterministe

par Marie Duflot

Thèse de doctorat en Informatique

Sous la direction de Laurent Fribourg.

Soutenue en 2003

à Cachan, Ecole normale supérieure .

  • Titre traduit

    Distributed algorithms on parameterized rings : probabilistic and deterministic convergence proofs


  • Pas de résumé disponible.


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (173 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 101 réf.

Où se trouve cette thèse ?

  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.