2 papers
cs.DC2024
On the Power of Graphical Reconfigurable Circuits
Yuval Emek, Yuval Gil, Noga Harlev
We introduce the \emph{graphical reconfigurable circuits (GRC)} model as an abstraction for distributed graph algorithms whose communication scheme is based on local mechanisms tha…
cs.DC2020
Twenty-Two New Approximate Proof Labeling Schemes (Full Version)
Yuval Emek, Yuval Gil
Introduced by Korman, Kutten, and Peleg (Distributed Computing 2005), a \emph{proof labeling scheme (PLS)} is a system dedicated to verifying that a given configuration graph satis…