Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Stabilisation Instantanée Probabiliste

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00976673
Contributeur : Stéphane Devismes <>
Soumis le : jeudi 10 avril 2014 - 11:17:20
Dernière modification le : lundi 14 décembre 2020 - 15:40:12
Archivage à long terme le : : jeudi 10 juillet 2014 - 11:35:49

Fichier

algotel.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00976673, version 1

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

393

Téléchargements de fichiers

181