Number of items: 57.
2013
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
2012
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
2011
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
2010
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
2009
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
2008
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
2007
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
2006
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
2005
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
2004
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
2003
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
2002
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
2001
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
2000
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
1999
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
1998
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
1997
Cheng, Jung-Fu
(1997)
Iterative decoding.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-01092008-082210
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
1996
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
1995
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
1994
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
1993
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
1992
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
1991
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
1990
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
1989
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 Sat May 18 02:00:10 2013 PDT.
