HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Vérification de preuves distribuées : compromis temps-espace

Résumé : Une preuve distribuée est un mécanisme permettant aux nœuds d'un réseau de décider collectivement et efficacement si le réseau est dans une configuration correcte, par rapport à un certain prédicat. La vérification de ces preuves est généralement faite en un nombre constant de rondes. Dans cet article nous étudions l'impact d'un temps de vérification non-constant sur la taille des preuves.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02118043
Contributor : Laurent Feuilloley Connect in order to contact the contributor
Submitted on : Thursday, May 2, 2019 - 6:11:58 PM
Last modification on : Wednesday, May 4, 2022 - 3:48:14 AM

File

redondance.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02118043, version 1

Citation

Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, Mor Perry. Vérification de preuves distribuées : compromis temps-espace. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02118043⟩

Share

Metrics

Record views

105

Files downloads

40