Number of items: 8.
2008
Noblet, David Alexander
(2008)
MojaveComm: a View-Oriented Group Communication Protocol with Support for Virtual Synchrony.
Master's thesis, California Institute of Technology.
doi:10.7907/M69B-WB70.
https://resolver.caltech.edu/CaltechETD:etd-06042008-113805
White, Jerome S.
(2008)
Receive Buffer Dynamics and OS Scheduling.
Master's thesis, California Institute of Technology.
doi:10.7907/ZTYH-6B13.
https://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.
doi:10.7907/S0HG-RT72.
https://resolver.caltech.edu/CaltechETD:etd-05222007-211909
2006
Țăpuș, Cristian
(2006)
Distributed Speculations: Providing Fault-Tolerance and Improving Performance.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/YZCK-4T29.
https://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.
doi:10.7907/RBAD-VH06.
https://resolver.caltech.edu/CaltechETD:etd-05272005-182952
2004
Țăpuș, Cristian
(2004)
Kernel Level Distributed Inter-Process Communication System (KDIPC).
Master's thesis, California Institute of Technology.
doi:10.7907/N0A5-WA49.
https://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.
doi:10.7907/AYFV-AS63.
https://resolver.caltech.edu/CaltechETD:etd-05272003-120725
2002
Kiniry, Joseph Roland
(2002)
Kind Theory.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/TVTD-E826.
https://resolver.caltech.edu/CaltechETD:etd-06062002-164914
This list was generated on Wed Dec 4 11:31:32 2024 UTC.
