Items where Option is "Computer Science"

Crane, Keenan M. (2013) Conformal geometry processing. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06052013-020706629

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

Gopalakrishnan, Ragavendran (2013) Characterizing distribution rules for cost sharing games. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06032013-104204451

Lin, Minghong (2013) Algorithmic challenges in green data centers. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05312013-223354639

Liu, Annie Hsin-Wen (2013) Sensor networks for geospatial event detection - theory and applications. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06062013-224746692

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

Schaeffer, Joseph Malcolm (2013) Stochastic simulation of the kinetics of multiple interacting nucleic acid strands. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:02042013-110332492

Hurwitz, Jeremy S. (2012) A nearly-quadratic gap between adaptive and non-adaptive property testers. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:11302011-091414252

Lee, Euiwoong (2012) Clustering affine subspaces : algorithms and hardness. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:07052012-191337554

Mullen, Patrick Gary (2012) Eulerian geometric discretizations of manifolds and dynamics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:09092011-162631888

Olson, Michael J. (2012) Cloud computing for citizen science. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:08232011-122341638

Schaeffer, Joseph Malcolm (2012) The multistrand simulator : stochastic simulation of the kinetics of multiple interacting DNA strands. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:02022012-143934605

Shin, Seung Woo (2012) Compiling and verifying DNA-based chemical reaction network implementations. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:09182011-215125061

Buchfuhrer, David I. (2011) Limits on computationally efficient VCG-based mechanisms for combinatorial auctions and public projects. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05242011-112814785

Lin, Minghong (2011) Algorithmic issues in green data centers. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:10262010-122247121

Liu, Zhenhua (2011) Greening geographical load balancing. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05252011-221926445

Pilotto, Concetta (2011) Systematic design and formal verification of multi-agent systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05232011-013046516

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

de Goes, Fernando Ferrari (2011) An optimal transport approach to robust reconstruction and simplification of 2D shapes. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05222011-165117683

Fefferman, William Jason (2010) On quantum computing and pseudorandomness. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:01312011-155543067

Crane, Keenan M. (2010) Discrete connections for geometry processing. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05282010-102307125

Florian, Mihai (2010) SCALE: source code analyzer for locating errors. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04142010-122136677

Gojman, Benjamin (2010) Algorithms and techniques for conquering extreme physical variation in bottom-up nanoscale systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04052010-152122284

Gopalakrishnan, Ragavendran (2010) An architectural view of game theoretic control. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05272010-163702257

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

Kharevych, Liliya (2010) Geometric interpretation of physical systems for improved elasticity simulations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:11172009-224005473

Liu, Annie H. (2010) Simulation and implementation of distributed sensor network for radiation detection. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:07072010-160100413

Kalyanaraman, Shankar (2009) Limited randomness in games, and computational perspectives in revealed preference. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06042009-233839

Noblet, David Alexander (2009) MojaveComm : a view-oriented group communication protocol with support for virtual synchrony. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06042008-113805

Angelova, Anelia Nedelcheva (2008) Visual prediction of rover slip : learning algorithms and field experiments. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10032007-121619

Buchfuhrer, David (2008) The complexity of formula minimization. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05292008-183055

Fanti, Claudio (2008) Towards automatic discovery of human movemes. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02262008-172531

Gao, Xiaojie (2008) On a capacitated multivehicle routing problem. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10292007-212511

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

Lin, Hsuan-Tien (2008) From ordinal ranking to binary classification. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05302008-143505

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

White, Jerome (2008) Receive buffer dynamics and OS scheduling. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02082008-131148

Yang, Weiwei (2008) Discrete mechanical interpolation of keyframes. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12312007-012842

Hu, Cheng (2007) Concurrent system design using Flow. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05252007-140855

McKenzie, Alexander (2007) HOLA: a High-Order Lie Advection of discrete differential forms, with applications in fluid dynamics. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05292007-100432

Mullen, Patrick Gary (2007) A variational approach to Eulerian geometry processing of surfaces and foliations. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05212007-160139

Pilotto, Concetta (2007) Local-to-global in multi-agent systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05232007-084106

Pongsajapan, John (2007) Optimization and stability of TCP/IP with delay-sensitive utility functions. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06022006-162638

Wei, Xiaoliang (David) (2007) Microscopic behavior of internet congestion control. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05292007-223200

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

Capponi, Agostino (2006) Estimation problems in sense and respond systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05222006-142127

Gillula, Jeremy (2006) A probabilistic framework for real-time mapping on an unmanned ground vehicle. Senior thesis (Minor), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:02052011-143940197

Kalyanaraman, Shankar (2006) On obtaining pseudorandomness from error-correcting codes. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06022006-170858

Kapre, Nachiket Ganesh (2006) Packet-switched on-chip FPGA overlay networks. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05312006-164059

Kharevych, Liliya (2006) Implementation of circle pattern parameterization. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05242006-224103

Khorlin, Andrey (2006) Scheduling in distributed stream processing systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05242006-175006

Li, Ling (2006) Data complexity in machine learning and novel classification algorithms. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-04122006-114210

Mehta, Nikil (2006) Time-multiplexed FPGA overlay networks on chip. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05312006-164103

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

Tapus, Cristian (2006) Distributed speculations: providing fault-tolerance and improving performance. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06022006-140421

Tian, Lu (2006) Resource allocation in streaming environments. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05262006-165801

deLorimier, Michael (2006) Floating-point sparse matrix-vector multiply for FPGAs. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05132005-144347

Elcott, Sharif Mohamed (2005) Discrete, circulation-preserving, and stable simplicial fluids. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272005-135652

Fanti, Claudio (2005) An improved scheme for detection and labeling in Johansson displays. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05282004-144523

Friedel, Ilja Heinrich (2005) Approximation of surfaces by normal meshes. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05242005-164959

Gao, Xiaojie (2005) Router congestion control. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06142004-161237

Gavriliu, Marcel (2005) Towards more efficient interval analysis: corner forms and a remainder interval Newton method. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06022005-174844

Gray, Nathaniel Asoka (2005) High-confidence, modular compiler development in a formal environment. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272005-182952

Lin, Hsuan-Tien (2005) Infinite ensemble learning with support vector machines. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05262005-030549

Litke, Nathan Jacob (2005) Variational methods in surface parameterization. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05312005-224704

Naeimi, Helia (2005) A greedy algorithm for tolerating defective crosspoints in nanoPLA design. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05052005-164226

Prakash, Piyush (2005) Slack matching. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272005-134017

Tapus, Cristian (2005) Kernel level distributed inter-process communication system (KDIPC). Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08312004-184300

Angelova, Anelia Nedelcheva (2004) Data pruning. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05282004-000943

Meyer, Mark (2004) Discrete differential operators for computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05282004-085345

Pratap, Amrit (2004) Maximum drawdown of a Brownian motion and AlphaBoost: a boosting algorithm. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272004-115820

Schkolne, Steven (2004) 3D interfaces for spatial construction. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272004-003252

Wong, Catherine Grace (2004) High-level synthesis and rapid prototyping of asynchronous VLSI systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:11192009-161338958

Grinspun, Eitan (2003) The basis refinement method. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05312003-133558

Hirani, Anil N. (2003) Discrete exterior calculus. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05202003-095403

Smith, Justin David (2003) Fault tolerance using whole-process migration and speculative execution. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272003-120725

Wood, Zoe Justine (2003) Computational topology algorithms for discrete 2-manifolds. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05302003-161403

Chen, Min (2002) Mathematical methods for image synthesis. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:08272010-091235772

Ginis, Roman (2002) Automating resource management for distributed business processes. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11012005-093745

Kiniry, Joseph Roland (2002) Kind theory. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06062002-164914

Nicholson, Alexander (2002) Generalization error estimates and training data valuation. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-09062005-083717

Papadantonakis, Karl Spyros (2002) What is deterministic CHP, and is slack elasticity that useful? Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08222002-122806

Pénzes, Paul Ivan (2002) Energy-delay complexity of asynchronous circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03022011-131111881

Zimmerman, Daniel M. (2002) Dynamic UNITY. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12072001-160019

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

Bax, Eric (1998) Finite-difference algorithms for counting problems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01182008-113319

Cataltepe, Zehra (1998) Incorporating input information into learning and augmented objective functions. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10042005-104636

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

Rieffel, Marc A. (1998) Performance modeling for concurrent particle simulations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01242008-132610

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

Watts, Jerrell R. (1998) Dynamic load balancing and granularity control on heterogeneous and hybrid architectures. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02072008-075916

Zorin, Denis N. (1998) Stationary subdivision and multiresolution surface representations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08102005-152703

Heirich, Alan (1997) Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01232008-111520

Maskit, Daniel (1997) Software register synchronization for super-scalar processors with partitioned register files. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01102008-153402

Palmer, Michael Edward (1997) Exploiting parallel memory hierarchies for ray casting volumes. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01162008-080520

Thornley, John William (1996) A parallel programming model with sequential semantics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01042008-085720

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

Kryukova, Svetlana A. (1995) Parallel Programming Archetypes in Combinatorics and Optimization. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-083734292

Laidlaw, David H. (1995) Geometric model extraction from magnetic resonance volume data. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10152007-132141

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

Tierno, Jose Andres (1995) An energy-complexity model for VLSI computations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10252007-094408

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

Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-160604635

Carlin, Peter (1994) Distributed linear algebra on networks of workstations. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03272012-094222255

Cataltepe, Zehra (1994) The scheduling problem in learning from hints. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03272012-100501462

Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04092012-143011011

Manohar, Rajit (1994) Mach-Based Channel Library. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-094328813

Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-095225392

Seizovic, Jakov N. (1994) The architecture and programming of a fine-grain multicomputer. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12072007-131639

Boden, Nanette Jackson (1993) Runtime systems for fine-grain multicomputers. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08222007-103344

Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04022012-152118181

Kirk, David B. (1993) Accurate and precise computation using analog VLSI, with applications to computer graphics and neural networks. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08292007-104823

Massingill, Berna Linda (1993) Integrating Task and Data Parallelism. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-130550435

Sanouillet, Remy D. (1993) Computer mediated communication. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12072007-090605

Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-114004175

Barzel, Ronen (1992) A structured approach to physically-based modeling for computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:09282011-075406850

Fyfe, William John Andrew (1992) Invariance hints and the VC dimension. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-07202007-075240

Hazewindus, Pieter Johannes (1992) Testing delay-insensitive circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-07202007-132706

Kay, Timothy L. (1992) From geometry to texture : experiments towards realism in computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08062007-110815

Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-084513712

Steele, Craig S. (1992) Affinity : a concurrent programming system for multicomputers. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08152007-074128

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

Dyer, Lounette M. (1991) An object-oriented real-time simulation of music performance using interactive control. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08102006-081706

Gupta, Rajiv (1991) Compiler optimization of data storage. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-06272007-081805

Schweizer, David Lawrence (1991) Combinatorial design of fault-tolerant communication structures, with applications to non-blocking switches. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-07122007-092015

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

Snyder, John M. (1991) Generative modeling : an approach to high level shape design for computer graphics and CAD. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-07122007-144802

Kalra, Devendra (1990) A unified framework for constraint-based modeling. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05042007-134103

Lazzaro, John P. (1990) Silicon models of early audition. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05152007-085000

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

Maher, Mary Ann (1989) A charge-controlled model for MOS transistors. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02082007-135328

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

Platt, John (1989) Constraint methods for neural networks and computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02122007-152609

Von Herzen, Brian (1989) Applications of surface networks to sampling problems in computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03132007-083552

Boden, Nanette J. (1988) A study of fine-grain programming using Cantor. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03262012-111947334

Burch, Jerry R. (1988) A comparison of strict and non-strict semantics for lists. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03262012-113851465

Seizovic, Jakov N. (1988) The Reactive Kernel. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-161857776

Athas, William C. (1987) Fine grain concurrent computations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02282008-091326

Burns, Steven M. (1987) Automated compilation of concurrent programs into self-timed circuits. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03272012-085559361

Choo, Young-il (1987) Logic from programming language semantics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02282008-111427

Wawrzynek, John (1987) VLSI concurrent computation for music synthesis. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03052008-112515

Barrett, Christopher Louis (1986) On central processes in the temporal control of movement. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03262008-085846

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

Lazzaro, John Paul (1986) anaLOG: A functional Simulator for VLSI Neural Systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-092513753

Li, Peyyun Peggy (1986) A parallel execution model for logic programming. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03192008-143903

Mosteller, R. C. (1986) Monte Carlo methods for 2-D compaction. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03202008-091615

Poh, Hean Lee (1986) Incorporating Time in the New World of Computing Systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-105252507

Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04132012-090947715

Tanner, John Edward (1986) Integrated optical motion detection. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03102008-081506

Lien, Sheue-Ling Chang (1985) Combining computation with geometry. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-04102008-142130

Lin, Tzu-Mu (1985) A hierarchical timing simulation model for digital integrated circuits and systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-04102008-105646

Platt, John C. (1985) Sequential Threshold Circuits. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-104617758

Steele, Craig S. (1985) Placement of Communicating Processes on Multiprocessor Networks. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-143033166

Whelan, Daniel S. (1985) ANIMAC : a multiprocessor architecture for real-time computer animation. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03262008-092532

Whiting, Douglas L. (1985) Bit-serial Reed-Solomon decoders in VLSI. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03252008-090414

Whitney, Telle Elizabeth (1985) Hierarchical composition of VLSI circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-03242008-112135

Chen, Wen-Chi (1984) Hierarchy of Graph Isomorphism Testing. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03272012-160759964

Chiang, Chao-Lin (1984) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04022012-150108167

Derby, Howard (1984) Using logic programming for compiling APL. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04092012-134858703

Eriksen, K. Jeffrey (1984) Biophysical source modeling of some exogenous and endogenous components of the human event-related potential. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11072005-143659

Ho, Tai-Ping (1984) The dialogue designing dialogue system. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01022007-104438

Lutz, Christopher (1984) Design of the Mosaic Processor. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-093644670

Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04132012-084100294

Oyang, Yen-Jen (1984) HEX: A Hierarchical Circuit Extractor. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05022012-105611552

Papachristidis, Alexandros Christou (1984) Heterogeneous data base access. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01022007-110210

Su, Wen-King (1984) Supermesh. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-161148552

Athas, William C. (1983) A VLSI Combinator Reduction Engine. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03262012-092805759

Chen, Marina Chien-mei (1983) Space-time algorithms : semantics and methodology. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08312006-094203

Lam, Jimmy (1983) RTsim: A register transfer simulator. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-091046970

Megdal, Barry Bruce (1983) VLSI computational Structures applied to fingerprint image analysis. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03202012-091934255

Neches, Philip M. (1983) Hardware support for advanced data management systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08102006-083426

Trawick, David James (1983) Robust sentence analysis and habitability. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11032005-154728

Trimberger, Stephen Mathias (1983) Automated performance optimization of custom integrated circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11072005-081513

Ullner, Michael K. (1983) Parallel machines for computer graphics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11092005-140159

Carroll, Christopher R. (1982) Hybrid processing. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-09132006-131111

Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04022012-150759898

DeBenedictis, Erik P. (1982) Techniques for testing integrated circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-09062006-111645

Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-080413185

Kingsley, Chris (1982) EARL: An Integrated Circuit Design Language. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04112012-082810035

Lang, Charles Richard (1982) The extension of object-oriented languages to a homogeneous, concurrent architecture. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-09142006-085516

Ng, Charles H. (1982) FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04132012-082850723

Whiting, Douglas L. (1982) A Self-Timed Chip Set for Microprocessor Communication. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-110450092

Johannsen, David Lawrence (1981) Silicon compilation. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11092006-140405

Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-090812718

Lin, Tzu-Mu (1981) From Geometry to Logic. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-091736952

Mosteller, R. C. (1981) REST: A Leaf Cell Design System. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-162654185

Segal, Richard (1981) Structure, placement and modelling. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04132012-091556662

Whelan, Daniel S. (1981) A Versatile Ethernet Interface. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-112531771

Whitney, Telle (1981) A Hierarchical Design Rule Checker. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-100224959

Yu, Kwang-I (1981) Communicative databases. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-09262006-113134

Barton, Anthony Francis (1980) A fault tolerant integrated circuit memory. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03212012-110600634

Browning, Sally A. (1980) The tree machine : a highly concurrent computing environment. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12082006-153626

Demetrescu, Stefan G. (1980) A VLSI based real-time hidden surface elimination display system. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04092012-133954577

Hess, Gideon David (1980) A software design system. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10182006-082833

Locanthi, Bart N. (1980) The homogeneous machine. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10092006-142135

Roach, Kelly (1980) Pronouns. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-102357778

Rowson, James Allely (1980) Understanding hierarchical design. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12062006-104710

Masumoto, Rodney Tak (1978) A 16-Bit LSI digital multiplier. Engineer's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04122012-143452788

Brown, Thomas Carl (1975) A structured design-method for specialized proof procedures. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:07182011-144905895