| Title: |
Vérification de preuves distribuées : compromis temps-espace |
| Authors: |
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor |
| Contributors: |
DistributEd aLgorithms and sYStems (DELYS); Centre Inria de Paris; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6; Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS); Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)); Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS); Department of Information and Computer Science Aalto; Helsinki Institute for Information Technology (HIIT); Helsingin yliopisto = Helsingfors universitet = University of Helsinki-Aalto University-Helsingin yliopisto = Helsingfors universitet = University of Helsinki-Aalto University; Tel Aviv University (TAU) |
| Source: |
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-02118043 ; ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France |
| Publisher Information: |
CCSD |
| Publication Year: |
2019 |
| Subject Terms: |
Preuve distribuée; Certification distribuée; Décision distribuée; Compromis temps-espace; Redondance; [INFO]Computer Science [cs]; [INFO.INFO-DC]Computer Science [cs]/Distributed; Parallel; and Cluster Computing [cs.DC] |
| Subject Geographic: |
Saint Laurent de la Cabrerisse; France |
| Description: |
International audience ; 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. |
| Document Type: |
conference object |
| Language: |
French |
| Availability: |
https://hal.science/hal-02118043; https://hal.science/hal-02118043v1/document; https://hal.science/hal-02118043v1/file/redondance.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.D9022C5C |
| Database: |
BASE |