CaltechTHESIS
  A Caltech Library Service

Browse by Committee Member

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Degree Date (Year Only) | Authors | No Grouping
Number of items: 65.

Cheng, Ming Hei (2014) New applications that come from extending seismic networks into buildings. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:03182014-225151551

Florian, Mihai (2014) Analysis-aware design of embedded systems software. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:10142013-111401153

Olson, Michael J. (2014) Cloud computing services for seismic networks. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:08242013-182604077

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

Sojoudi, Somayeh (2013) Mathematical study of complex networks : brain, internet, and power grid. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05252013-081655550

Xu, Huan (2013) Design, specification, and synthesis of aircraft electric power systems control logic. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05312013-103940337

Bakshi, Mayank (2012) Network coding and distributed compression over large networks : some basic principles. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06082012-122324439

Nair, Jayakrishnan U. (2012) Scheduling for heavy-tailed and light-tailed workloads in queueing systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06012012-134536732

Lavaei, Javad (2011) Large-scale complex systems : from antenna circuits to power grids. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05132011-113642762

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

Wongpiromsarn, Tichakorn (2010) Formal methods for design and verification of embedded control systems : application to an autonomous vehicle. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05272010-153304667

Braman, Julia Marie Badger (2009) Safety verification and failure analysis of goal-based hybrid control systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05292009-111937

Capponi, Agostino (2009) Credit risk and nonlinear filtering : computational aspects and empirical evidence. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272009-141742

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

Shi, Ling (2009) Resource optimization for networked estimator with guaranteed estimation quality. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08272008-121822

Epstein, Michael (2008) Managing information in networked and multi-agent control systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12192007-153619

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

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

Liu, Xin (2007) Robustness, complexity, validation and risk. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272007-214755

Martinez Estrada, Alfredo (2007) A treatise on econometric forecasting. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05222007-101946

Mehyar, Mortada (2007) Distributed averaging and efficient file sharing on peer-to-peer networks. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01102007-010550

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

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

Tang, Ao (2006) Heterogeneous congestion control protocols. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05242006-170918

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

Wang, Jiantao (2006) A theoretical study of internet congestion control: equilibrium and dynamics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-11122005-082753

Prajna, Stephen (2005) Optimization-based methods for nonlinear and hybrid systems verification. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272005-144358

Jiang, Anxiao (2004) Optimized network data storage and topology control. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272004-163315

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

Mauch, Sean Patrick (2003) Efficient algorithms for solving static Hamilton-Jacobi equations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05202003-170423

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

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

Mehta, Neelesh B. (2001) Impact of user mobility on resource allocation schemes in cellular radio systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:11302010-111553894

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

Parrilo, Pablo A. (2000) Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05062004-055516

Zhu, Xiaoyun (2000) Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05042006-131410

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

Primbs, James A. (1999) Nonlinear optimal control: a receding horizon appoach. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10172005-103315

Xu, Lihao (1999) Highly available distributed storage systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05162005-084223

Heirich, Alan Bryant (1998) 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

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

Cheng, Jung-Fu (1997) Iterative decoding. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01092008-082210

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

Dabdub, Donald (1996) Mathematical modeling of air pollution dynamics by parallel computation. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12132007-083330

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

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

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

Mouchtaris, Petros N. (1993) Analysis of an interactive video architecture. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02022005-162907

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

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

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

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

This list was generated on Thu Apr 24 02:00:08 2014 PDT.