Interactive proof system variants and approximation algorithms for optical networks
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
Main Author: | Sundaram, Ravi, 1968- |
---|---|
Other Authors: | Michael Sipser. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/41425 |
Similar Items
-
Denotational proof languages
by: Arkoudas, Konstantinos, 1968-
Published: (2013) -
Approximate nearest neighbor and its many variants
by: Mahabadi, Sepideh
Published: (2013) -
Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
by: Colby, Christopher P
Published: (2013) -
A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls
by: Troxel, Gregory D. (Gregory Donald)
Published: (2005) -
Approximation algorithms for disjoint paths problems
by: Kleinberg, Jon M
Published: (2005)