CSAIL Digital Archive: Recent submissions
Now showing items 259-261 of 807
-
Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System
(2010-12-08)Heracles is an open-source complete multicore system written in Verilog. It is fully parameterized and can be reconfigured and synthesized into different topologies and sizes. Each processing node has a 7-stage pipeline, ... -
From primal templates to invariant recognition
(2010-12-04)We can immediately recognize novel objects seen only once before -- in different positions on the retina and at different scales (distances). Is this ability hardwired by our genes or learned during development -- and ... -
Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
(2010-12-03)Commuting operations play a critical role in many parallel computing systems. We present a new technique for verifying commutativity conditions, which are logical formulas that characterize when operations commute. Because ...
