Browse by Advisor
Number of items: 3. BBoden, Nanette Jackson (1993) Runtime systems for fine-grain multicomputers. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-08222007-103344 HHofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10112007-083903 LLeino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-10162007-111256 |