Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 196-198 of 3794
-
Reactive Synchronization Algorithms for Multiprocessors
(1995-06)Efficient synchronization algorithms are hard to design because their performance depends on run-time factors that are hard to predict. In particular, the designer has a choice of protocols to implement the synchronization ... -
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") ...
