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: G | K | N | S | T | W | Y | Z
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 Apr 23 02:31:07 2014 PDT.