Vérification de preuves distribuées : compromis temps-espace - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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.
Fichier principal
Vignette du fichier
redondance.pdf (106.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02118043 , version 1 (02-05-2019)

Identifiants

  • HAL Id : hal-02118043 , version 1

Citer

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⟩
139 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More