Space-Time Tradeoffs for Distributed Verification
暂无分享,去创建一个
[1] Pierre Fraigniaud,et al. Survey of Distributed Decision , 2016, Bull. EATCS.
[2] Boaz Patt-Shamir,et al. Self-stabilization by local checking and correction , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
[3] Shay Kutten,et al. Distributed verification of minimum spanning trees , 2006, PODC '06.
[4] Boaz Patt-Shamir,et al. Randomized Proof-Labeling Schemes , 2015, PODC.
[5] R. Ostrovsky,et al. Announcement : Space-Time Tradeoffs for Distributed Verification , 2016 .
[6] Pierre Fraigniaud,et al. Locality and Checkability in Wait-Free Computing , 2011, DISC.
[7] Toshimitsu Masuzawa,et al. Fast and compact self-stabilizing verification, computation, and fault detection of an MST , 2011, PODC '11.
[8] Mika Göös,et al. Locally checkable proofs , 2011, PODC '11.
[9] Boaz Patt-Shamir,et al. On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms , 2014, SSS.
[10] Leonid A. Levin,et al. Fast and lean self-stabilizing asynchronous protocols , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
[11] Moti Yung,et al. The Local Detection Paradigm and Its Application to Self-Stabilization , 1997, Theor. Comput. Sci..
[12] Shay Kutten,et al. Proof labeling schemes , 2005, PODC '05.
[13] Rafail Ostrovsky,et al. Memory-efficient and self-stabilizing network RESET (extended abstract) , 1994, PODC '94.
[14] Stefan Schmid,et al. Exploiting locality in distributed SDN control , 2013, HotSDN '13.
[15] Pierre Fraigniaud,et al. Towards a complexity theory for local distributed computing , 2013, JACM.
[16] Roger Wattenhofer,et al. Local checkability, no strings attached , 2016, ICDCN.
[17] David Peleg,et al. Distributed verification and hardness of distributed approximation , 2010, STOC '11.