Theses most similar to those of author King, Myron Decker
An efficient sequential BTRS implementation (2009) read it
Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
Tan, Yang Meng (1994)
- Advisor: John V. Guttag
- Department of Electrical Engineering and Computer Science
- Advisor: Charles E. Leiserson
- Department of Electrical Engineering and Computer Science
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
An imperative extension to alloy and a compiler for its execution
Near, Joseph P. (Joseph Paul) (2010)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
Dynamic optimization through the use of automatic runtime specialization
Whaley, John (John Craig), 1975- (1999)
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
Tree form : an intermediate representation for retargetable optimizing compliers
Bryce, Duncan G. (Duncan Gabriel Peter), 1976- (2000)
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
A methodology for hardware-software codesign (2013) read it
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
HAsim : cycle-accurate multicore performance models on FPGAs
Pellauer, Michael (Michael Ignatius) (2011)
- Advisors: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-; Joel Emer
- Department of Electrical Engineering and Computer Science
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
Software orchestration of instruction level parallelism on tiled processor architectures
Lee, Walter (Walter Cheng-Wan) (2005)
- Advisors: Anant Agarwal; Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
Evolve : a preliminary multicore architecture for Introspective Computing
Eastep, Jonathan M. (Jonathan Michael) (2007)
- Advisor: Anant Agarwal
- Department of Electrical Engineering and Computer Science
Template-based hardware-software codesign for high-performance embedded numerical accelerators
Sredojević, Ranko Radovin (2013)
- Advisors: Alexandre Megretski; Arvind; Vladimir Stojanovic
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science
Scalable reconfigurable computing leveraging latency-insensitive channels
Fleming, Kermin Elliott, Jr (2013)
- Advisors: Arvind; Joel S. Emer
- Department of Electrical Engineering and Computer Science