Theses most similar to those of author Rosenband, Daniel L., 1977-

A performance driven approach for hardware synthesis of guarded atomic actions (2005) read it

Designing a processor in Bluespec

Dave, Nirav Hemant, 1982- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

A task communication language and compiler for the NuMesh

Cornez, Jason Steven (1994)

  • Advisor: Stephen A. Ward
  • Department of Electrical Engineering and Computer Science
Read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Automatic verification of pipelined microprocessors

Bhagwati, Vishal Lalit (1994)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
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
Read it

Theory of composable latency-insensitive refinements

Vijayaraghavan, Muralidaran (2009)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Modular verification of hardware systems

Vijayaraghavan, Muralidaran (2016)

  • Advisors: Adam Chlipala; Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Operation-centric hardware description and synthesis

Hoe, James C. (James Chu-Yue) (2000)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Synthesis of multi-cycle circuits from guarded atomic actions

Karczmarek, Michal, 1977- (2011)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

Design of the control logic for StarT-Voyager (1998) read it

rMPI : an MPI-compliant message passing library for tiled architectures

Psota, James Ryan (2005)

  • Advisor: Anant Agarwal
  • Department of Electrical Engineering and Computer Science
Read it

A design of a PBX to ATM user to network interface over DS1/T1 lines

Chen, Edmund G. (Edmund Ging-Yu) (1995)

  • Advisor: Steven Burns
  • Department of Electrical Engineering and Computer Science
Read it

A field programmable gate array based stream processor for the Cheops imaging system

Yu, Ross Anthony (1996)

  • Advisor: Bove, V. Michael
  • Department of Electrical Engineering and Computer Science
Read it

Implementation of the StarT-Voyager bus interface units

Conley, Christopher Joseph (1997)

  • Advisor: G. Andrew Boughton
  • Department of Electrical Engineering and Computer Science
Read it

A fault tolerant transportation controller

MacGregor, Scott D (1997)

  • Advisor: Richard D. Thornton
  • Department of Electrical Engineering and Computer Science
Read it

Verification of the StarT-voyager bus interface units

Ho, Wing-Chung, 1974- (1998)

  • Advisor: George A. Boughton
  • Department of Electrical Engineering and Computer Science
Read it

A 1394 bus interface for the Chidi media processor

Liu, Yuan-Min, 1975- (1998)

  • Advisor: Bove, V. Michael
  • Department of Electrical Engineering and Computer Science
Read it

A timeshared, runtime reconfigurable hardware co-processing architecture

Gelb, Benjamin S (2009)

  • Advisor: Christopher J. Terman
  • Department of Electrical Engineering and Computer Science
Read it

A high performance multiprocessor DSP system

Hiers, Todd C. (Todd Christopher), 1979- (2001)

  • Advisors: Larry Rudolph; Nat Seshan
  • Department of Electrical Engineering and Computer Science
Read it

An interrupt controller for the RAW processor

Saraswat, Anant K. (Anant Kumar), 1981- (2003)

  • Advisor: Anant Agarwal
  • Department of Electrical Engineering and Computer Science
Read it