Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Proof-labeling schemes"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
32nd International Symposium on Distributed Computing
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Distributed Computing
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Distributed Computing
Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on data-structures distributed over the nodes (e.g., spanning trees or r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f33d88d5962a68f3484b8d06b770ce6
https://doi.org/10.1007/s00446-020-00386-z
https://doi.org/10.1007/s00446-020-00386-z
Local certification consists in assigning labels to the nodes of a network to certify that some given property is satisfied, in such a way that the labels can be checked locally. In the last few years, certification of graph classes received a consid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52859060c217ee8511cc854fd0fa4d64
In distributed verification, our goal is to verify that the network configuration satisfies some desired property, using pre-computed information stored at each network node. This is formally modeled as a proof labeling scheme (PLS): a prover assigns
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7e26da278b23a06b9847b351d774dfa
Introduced by Korman, Kutten, and Peleg (PODC 2005), a proof labeling scheme (PLS) is a distributed verification system dedicated to evaluating if a given configured graph satisfies a certain property. It involves a centralized prover, whose role is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1324f2a2a22d80579e58394284f8f62d
Publikováno v:
35th International Symposium on Distributed Computing, (DISC)2021
35th International Symposium on Distributed Computing, (DISC)2021, Oct 2021, Freiburg, Germany. ⟨10.4230/LIPIcs.DISC.2021.49⟩
35th International Symposium on Distributed Computing, (DISC)2021, Oct 2021, Freiburg, Germany. ⟨10.4230/LIPIcs.DISC.2021.49⟩
Local certification consists in assigning labels to the nodes of a network to certify that some given property is satisfied, in such a way that the labels can be checked locally. In the last few years, certification of graph classes received a consid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2af7b48de015fccaf79846368342438
https://hal.archives-ouvertes.fr/hal-03394564
https://hal.archives-ouvertes.fr/hal-03394564