28 citations
- Laboratoire d'Informatique en Images et Systèmes d'InformationFR10 papers
- Lyon 1 UniversitéFR9 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Institut National des Sciences Appliquées de LyonFR3 papers
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR3 papers
- Université Grenoble AlpesFR3 papers
- Armée de l'air et de l'espace2 papers
- École Centrale de LyonFR2 papers
- École Normale Supérieure de LyonFR2 papers
- Laboratoire des Sciences pour la Conception, l'Optimisation et la ProductionFR2 papers
- Pôle Léonard de VinciFR2 papers
- QuSoftNL2 papers
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2024
Renaming in distributed certification
Nicolas Bousquet, Louis Esperet, Laurent Feuilloley +1
Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are l…
cs.DC2022★ 1 cited
Lower bound for constant-size local certification
Virgina Ardévol Martínez, Marco Caoduro, Laurent Feuilloley +3
Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or that the structure is correct.…