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

This list was generated on Fri Oct 31 02:31:38 2014 PDT.