Browse by Committee Member

Keller, Sean Jason (2014) Robust Near-Threshold QDI Circuit Analysis and Design. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/79EJ-Q945. https://resolver.caltech.edu/CaltechTHESIS:08172013-192316055

DeLorimier, Michael John (2013) GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/M3TW-7Y53. https://resolver.caltech.edu/CaltechTHESIS:08192012-145253489

Mehta, Nikil (2013) An Ultra-Low-Energy, Variation-Tolerant FPGA Architecture Using Component-Specific Mapping. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/358S-CW22. https://resolver.caltech.edu/CaltechTHESIS:10072012-230900231

Kapre, Nachiket Ganesh (2011) SPICE²: A Spatial, Parallel Architecture for Accelerating the Spice Circuit Simulator. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/QVZR-VB52. https://resolver.caltech.edu/CaltechTHESIS:10262010-082537998

White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/8FRW-ZF17. https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546

Jang, Wonjin (2008) Soft-Error Tolerant Quasi Delay-insensitive Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ZVFF-WE07. https://resolver.caltech.edu/CaltechETD:etd-11092007-180524

Naeimi, Helia (2008) Reliable Integration of Terascale Systems with Nanoscale Devices. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/P842-7B49. https://resolver.caltech.edu/CaltechETD:etd-01242008-012650

Prakash, Piyush (2008) Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9HMY-RR92. https://resolver.caltech.edu/CaltechETD:etd-05262008-234258

Pratap, Amrit (2008) Adaptive Learning Algorithms and Data Cloning. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/GV3D-AB69. https://resolver.caltech.edu/CaltechETD:etd-05292008-231048

Basset, Christophe Jean-Michel (2007) CMOS Imaging Technology with Embedded Early Image Processing. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2GZN-T836. https://resolver.caltech.edu/CaltechETD:etd-04262007-131214

Yu, Xin (2007) Reflection and Its Application to Mechanized MetaReasoning About Programming Languages. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/S0HG-RT72. https://resolver.caltech.edu/CaltechETD:etd-05222007-211909

Papadantonakis, Karl Spyros (2006) Rigorous Analog Verification of Asynchronous Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4R8F-WF03. https://resolver.caltech.edu/CaltechETD:etd-01132006-152609

Riedel, Marcus D. (2004) Cyclic Combinational Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/410B-XR25. https://resolver.caltech.edu/CaltechETD:etd-05032004-153842

Wong, Catherine Grace (2004) High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5N2N-0W58. https://resolver.caltech.edu/CaltechTHESIS:11192009-161338958

Pénzes, Paul Ivan (2002) Energy-Delay Complexity of Asynchronous Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9jpj-5s67. https://resolver.caltech.edu/CaltechTHESIS:03022011-131111881

Zimmerman, Daniel Marc (2002) Dynamic UNITY. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/AC6E-WE21. https://resolver.caltech.edu/CaltechETD:etd-12072001-160019

Koosh, Vincent Frank (2001) Analog Computation and Learning in VLSI. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9B65-TB43. https://resolver.caltech.edu/CaltechETD:etd-10022001-201911

Nyström, Mika (2001) Asynchronous Pulse Logic. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/B107-MW15. https://resolver.caltech.edu/CaltechTHESIS:10152010-145548970

Schooler, Eve Meryl (2001) Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/44QZ-R465. https://resolver.caltech.edu/CaltechETD:etd-08272001-155016

Manohar, Rajit (1999) The impact of asynchrony on computer architecture. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/xzwa-p598. https://resolver.caltech.edu/CaltechETD:etd-08112005-114144

Massingill, Berna Linda (1998) A structured approach to parallel programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5ma9-h225. https://resolver.caltech.edu/CaltechETD:etd-01242008-074143

Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/z89g-gm27. https://resolver.caltech.edu/CaltechETD:etd-01252008-095244

Boahen, Kwabena Adu (1997) Retinomorphic vision systems : reverse engineering the vertebrate retina. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/96W6-N605. https://resolver.caltech.edu/CaltechETD:etd-01092008-085128

Hofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/G620-GG65. https://resolver.caltech.edu/CaltechETD:etd-10112007-083903

Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ehzs-y537. https://resolver.caltech.edu/CaltechETD:etd-10172007-090528

Leino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ynt2-nn65. https://resolver.caltech.edu/CaltechETD:etd-10162007-111256

Van der Goot, Marcel Rene (1995) Semantics of VLSI synthesis. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SR5V-KT18. https://resolver.caltech.edu/CaltechETD:etd-10162007-093427

Ko, Tsz-Mei (1993) On the VLSI decompositions for complete graphs, DeBruijn graphs, hypercubes, hyperplanes, meshes, and shuffle-exchange graphs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/s7w7-a995. https://resolver.caltech.edu/CaltechETD:etd-08302007-094049

Hazewindus, Pieter Johannes (1992) Testing delay-insensitive circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/0d7v-9d09. https://resolver.caltech.edu/CaltechETD:etd-07202007-132706

Mahowald, Michelle A. (Misha) (1992) VLSI Analogs of Neuronal Visual Processing: A Synthesis of Form and Function. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4bdw-fg34. https://resolver.caltech.edu/CaltechTHESIS:09122011-094355148

Burns, Steven Morgan (1991) Performance analysis and optimization of asynchronous circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/kez1-7q52. https://resolver.caltech.edu/CaltechETD:etd-07092007-072640

Sivilotti, Massimo Antonio (1991) Wiring Considerations in Analog VLSI Systems, with Application to Field-Programmable Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/stj4-kh72. https://resolver.caltech.edu/CaltechETD:etd-07122007-134330

Su, Wen-King (1990) Reactive-Process Programming and Distributed Discrete-Event Simulation. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9qzd-kv20. https://resolver.caltech.edu/CaltechTHESIS:03222012-091423469

Ngai, John Yee-Keung (1989) A Framework for Adaptive Routing in Multicomputer Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/a01h-0z81. https://resolver.caltech.edu/CaltechETD:etd-02132007-153533

Athas, William C., Jr. (1987) Fine Grain Concurrent Computations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/63xc-r308. https://resolver.caltech.edu/CaltechETD:etd-02282008-091326

Choo, Young-il (1987) Logic from Programming Language Semantics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/r9hf-1b88. https://resolver.caltech.edu/CaltechETD:etd-02282008-111427

Dally, William James (1986) A VLSI Architecture for Concurrent Data Structures. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/f8d5-x741. https://resolver.caltech.edu/CaltechETD:etd-03252008-140428

El-Hamamsy, Sayed-Amr (1986) Coupled-Inductor Inversion, Rectification and Cycloconversion. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/BHKX-4J16. https://resolver.caltech.edu/CaltechETD:etd-03262008-092115

Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2ngs-bp80. https://resolver.caltech.edu/CaltechETD:etd-03192008-143903

Lien, Sheue-Ling Chang (1985) Combining Computation with Geometry. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/n1qe-h846. https://resolver.caltech.edu/CaltechETD:etd-04102008-142130

Chen, Marina Chien-mei (1983) Space-time Algorithms: Semantics and Methodology. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/bfpj-t811. https://resolver.caltech.edu/CaltechETD:etd-08312006-094203

Lang, Charles Richard, Jr. (1982) The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9EVC-2X08. https://resolver.caltech.edu/CaltechETD:etd-09142006-085516