What can be computed locally?
- Moni Naor
- Larry Stockmeyer
- 1993
- STOC 1993
Conference paper
Publications
13 results at STOC 1993
Time optimal self-stabilizing synchronization
- Baruch Awerbuch
- Shay Kutten
- et al.
- 1993
- STOC 1993
Conference paperContention in shared memory algorithms
- Cynthia Dwork
- Maurice Herlihy
- et al.
- 1993
- STOC 1993
Conference paperParametric real-Time reasoning
- Rajeev Alur
- Thomas A. Henzinger
- et al.
- 1993
- STOC 1993
Conference paperEfficient probabilistically checkable proofs and applications to approximation
- Mihir Bellare
- S. Goldwasser
- et al.
- 1993
- STOC 1993
Conference paperHow much can hardware help routing?
- Allan Borodin
- Prabhakar Raghavan
- et al.
- 1993
- STOC 1993
Conference paperOn-line load balancing with applications to machine scheduling and virtual circuit routing
- James Aspnes
- Yossi Azar
- et al.
- 1993
- STOC 1993
Conference paperMonotone monadic SNP and constraint satisfaction
- Tomás Feder
- Moshe Y. Vardi
- 1993
- STOC 1993
Conference paperThermodynamics of computation and information distance
- Charles H. Bennett
- Péter Gács
- et al.
- 1993
- STOC 1993
Conference paperConstructing small sample spaces satisfying given constraints
- Daphne Koller
- Nimrod Lvlegiddo
- 1993
- STOC 1993
Conference paper