LCS Publications: Recent submissions
Now showing items 193-195 of 1152
-
Restricted Branching Programs and Hardware Verification
(1995-08)Recent developments in the field of digital design and hardware verification have found great use for restricted forms of branching programs. In particular, oblivious read-once branching programs (also called "OBDD's") ... -
Computationally Efficient Error-Correcting Codes and Holographic Proofs
(1995-06)We present computationally efficient error-correcting codes and holographic proofs.Our error-correcting codes are asymptotically good and can be encoded and decoded in linear time.Our construction of holographic proofs ...
