Number of items: 32.
Mehta, Nikil
(2013)
An ultra-low-energy, variation-tolerant FPGA architecture using component-specific mapping.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:10072012-230900231
deLorimier, Michael John
(2013)
GRAph parallel actor language : a programming language for parallel graph algorithms.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:08192012-145253489
White, Jerome
(2011)
Applying formal methods to distributed algorithms using local-global relations.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:05312011-123940546
Kapre, Nachiket Ganesh
(2010)
SPICE2 -- a spatial parallel architecture for accelerating the spice circuit simulator.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:10262010-082537998
Jang, Wonjin
(2008)
Soft-error tolerant quasi delay-insensitive circuits.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-05262008-234258
Pratap, Amrit
(2008)
Adaptive learning algorithms and data cloning.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-05222007-211909
Papadantonakis, Karl Spyros
(2006)
Rigorous analog verification of asynchronous circuits.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-01132006-152609
Riedel, Marcus
(2004)
Cyclic combinational circuits.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-05032004-153842
Zimmerman, Daniel M.
(2002)
Dynamic UNITY.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-12072001-160019
Koosh, Vincent Frank
(2001)
Analog computation and learning in VLSI.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-10022001-201911
Nyström, Mika
(2001)
Asynchronous pulse logic.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-08272001-155016
Manohar, Rajit
(1999)
The impact of asynchrony on computer architecture.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-08112005-114144
Massingill, Berna Linda
(1998)
A structured approach to parallel programming.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-01092008-085128
Hofstee, H. Peter
(1995)
Synchronizing processes.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-10172007-090528
Leino, K. Rustan M.
(1995)
Toward reliable modular programs.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-10162007-111256
Van der Goot, Marcel Rene
(1995)
Semantics of VLSI synthesis.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://resolver.caltech.edu/CaltechETD:etd-08302007-094049
Hazewindus, Pieter Johannes
(1992)
Testing delay-insensitive circuits.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-07202007-132706
Burns, Steven Morgan
(1991)
Performance analysis and optimization of asynchronous circuits.
Dissertation (Ph.D.), California Institute of Technology.
http://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.
http://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.
http://resolver.caltech.edu/CaltechTHESIS:03222012-091423469
Ngai, John Y.
(1989)
A framework for adaptive routing in multicomputer networks.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-02132007-153533
Choo, Young-il
(1987)
Logic from programming language semantics.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-02282008-111427
Dally, William J.
(1986)
A VLSI architecture for concurrent data structures.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-03252008-140428
This list was generated on Thu May 23 02:01:55 2013 PDT.
