Number of items: 9.
2009
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
2008
White, Jerome
(2008)
Receive buffer dynamics and OS scheduling.
Master's thesis, California Institute of Technology.
http://resolver.caltech.edu/CaltechETD:etd-02082008-131148
2007
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
2006
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
2005
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
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
2003
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
2002
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
This list was generated on Fri May 24 02:31:07 2013 PDT.
