Stabilisation Instantanée Probabiliste - ALGOTEL 2014 - Seizièmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Stabilisation Instantanée Probabiliste

Karine Altisen
  • Fonction : Auteur
Stéphane Devismes

Résumé

Nous introduisons la stabilisation instantanée probabiliste. Cette propriété nous permet, en particulier, de concevoir des algorithmes distribués pour réseaux anonymes ayant de fortes propriétés de tolérance aux pannes transitoires. Un algorithme instantanément stabilisant probabiliste satisfait la sûreté de sa spécification immédiatement après que les pannes transitoires aient cessé; cependant il n'assure la vivacité de sa spécification que presque sûrement. Nous illustrons cette nouvelle propriété en proposant deux algorithmes instantanément stabilisants probabilistes d'élection avec garantie de service pour réseaux anonymes, ce problème n'ayant pas de solution déterministe.
Fichier principal
Vignette du fichier
algotel.pdf (65.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00976673 , version 1 (10-04-2014)

Identifiants

  • HAL Id : hal-00976673 , version 1

Citer

Karine Altisen, Stéphane Devismes. Stabilisation Instantanée Probabiliste. ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4. ⟨hal-00976673⟩
302 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More