A Caltech Library Service

Browse by Author

Number of items: 2.

White, Jerome (2011) Applying formal methods to distributed algorithms using local-global relations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05312011-123940546

White, Jerome (2008) Receive buffer dynamics and OS scheduling. Master's thesis, California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02082008-131148

This list was generated on Thu Apr 20 11:33:47 2017 PDT.

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.