Quelques contributions à la stabilisation instantanée

par Stéphane Devismes

Thèse de doctorat en Sciences. Informatique

Sous la direction de Vincent Villain et de Alain Cournier.

Soutenue en 2006

à Amiens .


  • Résumé

    Dans cette thèse, nous avons tout d'abord proposé deux parcours en profondeur instantanément stabilisants pour des réseaux quelconques. Ces deux protocoles sont écrits dans le modèle à états et fonctionnent avec un démon distribué inéquitable. Le premier est basé sur des listes d'identités. Le second utilise un principe de question. Nous proposons ensuite deux applications instantanément stabilisantes obtenues à partir de nos deux parcours en profondeur. Enfin, nous adoptons une approche plus générale en proposant un transformateur de protocoles à vagues mono-initiateurs en protocoles instantanément stabilisants. Des protocoles de parcours en profondeur et de construction d'arbre en largeur illustrent notre méthode de transformation. Enfin, grâce à une propriété de comptage due à notre transformateur, nous montrerons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (169 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p.163-169

Où se trouve cette thèse ?

  • Bibliothèque : Université de Picardie Jules Verne. Bibliothèque universitaire. Section Sciences.
  • Non disponible pour le PEB
  • Cote : T 51 2006-28
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.