✦ LIBER ✦

Distributed Verification and Hardness of Distributed Approximation

✍ Scribed by Sarma, Atish Das; Holzer, Stephan; Kor, Liah; Korman, Amos; Nanongkai, Danupon; Pandurangan, Gopal; Peleg, David; Wattenhofer, Roger

Book ID: 118158324
Publisher: Society for Industrial and Applied Mathematics
Year: 2012
Tongue: English
Weight: 473 KB
Volume: 41
Category: Article
ISSN: 0097-5397
DOI: 10.1137/11085178x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Approximation of distributed delays

✍ Lu, Hao; Di Loreto, Michael; Eberard, Damien; Simon, Jean-Pierre 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Verification of Distributed Hierarchical

Verification of Distributed Hierarchical Components

✍ Tomás Barros; Ludovic Henrio; Eric Madelaine 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Proof verification and the hardness of a

Proof verification and the hardness of approximation problems

✍ Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Sudan, Madhu; Szegedy, Mario 📂 Article 📅 1998 🏛 Association for Computing Machinery 🌐 English ⚖ 409 KB

Distributed approximation of cellular co

Distributed approximation of cellular coverage

✍ Boaz Patt-Shamir; Dror Rawitz; Gabriel Scalosub 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 351 KB

Automatic verification of distributed lo

Automatic verification of distributed logic specifications

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB

Distributed verification of minimum span

Distributed verification of minimum spanning trees

✍ Amos Korman; Shay Kutten 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 328 KB