Number of items: 23.
C
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
Carlin, Peter
(1994)
Distributed linear algebra on networks of workstations.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:03272012-094222255
F
Florian, Mihai
(2010)
SCALE: source code analyzer for locating errors.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:04142010-122136677
G
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
H
Hofstee, H. Peter
(1995)
Synchronizing processes.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-10112007-083903
K
Khorlin, Andrey
(2006)
Scheduling in distributed stream processing systems.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-05242006-175006
Kiniry, Joseph Roland
(2002)
Kind theory.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-06062002-164914
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
L
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
Leino, K. Rustan M.
(1995)
Toward reliable modular programs.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-10162007-111256
M
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
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
O
Olson, Michael J.
(2012)
Cloud computing for citizen science.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechTHESIS:08232011-122341638
P
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
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
S
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
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
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
T
Tian, Lu
(2006)
Resource allocation in streaming environments.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-05262006-165801
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
W
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
Z
Zimmerman, Daniel M.
(2002)
Dynamic UNITY.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-12072001-160019
This list was generated on Thu May 23 02:31:11 2013 PDT.
