CaltechTHESIS
  A Caltech Library Service

Browse by Advisor

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: 29.

Bose, Subhonmesh (2014) An integrated design approach to power systems : from power flows to electricity markets. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06012014-040224456

Faulkner, Matthew Nicholas (2014) Selective data gathering in community sensor networks. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04102014-131741107

Faulkner, Matthew Nicholas (2014) Community sense and response systems. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:04152014-111007328

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

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

Mou, Judy (2013) Situation awareness application. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:06272013-211013400

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

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

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

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

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

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

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

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

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 Marc (2002) Dynamic UNITY. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-12072001-160019

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

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

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

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

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

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

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

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

This list was generated on Tue Oct 21 02:30:11 2014 PDT.