Theses most similar to those of author Uhler, Richard Stephen
Performance and energy efficiency in simple simultaneous multithreading processor cores (2010) read it
Spatial software pipelining on distributed architectures for sparse matrix codes
Duvall, Michelle, 1981- (2004)
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
Banked microarchitectures for complexity-effective superscalar microprocessors
Tseng, Jessica Hui-Chun, 1977- (2006)
- Advisor: Krste AsanoviÄ
- Department of Electrical Engineering and Computer Science
Microprocessor energy characterization and optimization through fast, accurate, and flexible simulation
Krashinsky, Ronny (Ronny Meir), 1978- (2001)
- Advisor: Krste AsanoviÄ
- Department of Electrical Engineering and Computer Science
- Advisor: Christopher J. Terman
- Department of Electrical Engineering and Computer Science
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
A performance measure of page mode dram as a second level cache in microprocessors
Shoemaker, David R. (David Robert) (1992)
- Advisor: Steve Ward
- Department of Electrical Engineering and Computer Science
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
Optimizing throughput architectures for speculative parallelism
Abeydeera, Maleen Hasanka (Weeraratna Patabendige Maleen Hasanka) (2017)
- Advisor: Daniel Sanchez
- Department of Electrical Engineering and Computer Science
Smten and the art of satisfiability-based search (2014) read it
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
A constraint solver for software engineering : finding models and cores of large relational specifications
Torlak, Emina, 1979- (2009)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
A relational framework for bounded program verification
Dennis, Gregory D. (Gregory David), 1980- (2009)
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
Verification of full functional correctness for imperative linked data structures
Zee, Karen K (2010)
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
- Advisors: Armando Solar̆-Lezam; Sumit Gulwani
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Adam Chlipala
- Department of Electrical Engineering and Computer Science