 |
Conference papers
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.
Cited literature [10 references]
https://hal.archives-ouvertes.fr/hal-00976673
Contributor : Stéphane Devismes <>
Submitted on : Thursday, April 10, 2014 - 11:17:20 AM
Last modification on : Monday, June 22, 2020 - 5:32:03 PM
Document(s) archivé(s) le : Thursday, July 10, 2014 - 11:35:49 AM
Contributor : Stéphane Devismes <>
Submitted on : Thursday, April 10, 2014 - 11:17:20 AM
Last modification on : Monday, June 22, 2020 - 5:32:03 PM
Document(s) archivé(s) le : Thursday, July 10, 2014 - 11:35:49 AM
File
algotel.pdf
Files produced by the author(s)
