Number of items: 9.
G
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
K
Kiniry, Joseph Roland
(2002)
Kind theory.
Dissertation (Ph.D.), California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-06062002-164914
N
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
S
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
T
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
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
W
White, Jerome
(2008)
Receive buffer dynamics and OS scheduling.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-02082008-131148
Y
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
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 Wed May 22 02:31:07 2013 PDT.
