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 metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02118043
Contributor : Laurent Feuilloley <>
Submitted on : Thursday, May 2, 2019 - 6:11:58 PM
Last modification on : Friday, April 10, 2020 - 5:28:51 PM

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

91

Files downloads

60