#### Filter Results:

#### Publication Year

2015

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Mor Baruch, Pierre Fraigniaud, Boaz Patt-Shamir
- PODC
- 2015

Proof-labeling schemes, introduced by Korman, Kutten and Peleg [PODC 2005], are a mechanism to certify that a network configuration satisfies a given boolean predicate. Such mechanisms find applications in many contexts, e.g., the design of fault-tolerant distributed algorithms. In a proof-labeling scheme, predicate verification consists of neighbors… (More)

- Mor Baruch, Rafail Ostrovsky, Will Rosenbaum
- ArXiv
- 2016

Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for example, in the context of proof labeling schemes (PLS), locally checkable proofs (LCP), and non-deterministic local decision (NLD). In all of these contexts, verification time… (More)

- Mor Baruch, Rafail Ostrovsky, Will Rosenbaum
- PODC
- 2016

Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for example, in the context of proof labeling schemes (PLS), locally checkable proofs (LCP), and non-deterministic local decision (NLD). In all of these contexts, verification time… (More)

- ‹
- 1
- ›