LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 115-117 of 486
-
Software-Extended Coherent Shared Memory: Performance and Cost
(1993-10)This paper evaluates the tradeoffs involved when designing a directory-based protocol that implements coherent shared memory through a combination of hardware and software mechanisms. The fundamental design decisions involve ... -
The Revitalized Relationship Between Probabilistically Checkable Debate Systems, IP, and PSpace
(1993-09)In 1990, PSPACE was shown to be identical to IP, the class of languages with interactive proofs [11, 2]. Recently, PSPACE was again recharacterized, this time in terms of (Random) Probabilistically Checkable Debate Systems ... -
Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulators
(1992-11)Existing FPGA-based logic emulators suffer from limited inter-chip communication bandwidth, resulting in low gate utilization (10 20 percent). This resource imbalance increases the number of chips needed to emulate a ...
