Theses most similar to A new approach to parallel SAT solvers (Nelson, Max (Max M.); 2013) read it
- Advisor: Thomas F. Knight, Jr., Gerald Jay Sussma
- Department of Electrical Engineering and Computer Science
A case study of shared memory and message passing : the triangle puzzle
Lew, Kevin A. (Kevin Allan) (1995)
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: William E. Weihl
- Department of Electrical Engineering and Computer Science
Protocol optimizations for the CRL distributed shared memory system
Gupta, Sandeep K. (Sandeep Kumar) (1996)
- Advisor: M. Frans Kaashoek
- Department of Mechanical Engineering
- Advisor: Stephen A. Ward
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Jack Dennis
- Department of Electrical Engineering and Computer Science
Finding linearization violations in lock-free concurrent data structures
Dabdoub, Sebastien Alberto (2013)
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Alan Edelman
- Department of Electrical Engineering and Computer Science