CaltechTHESIS
  A Caltech Library Service

Browse by Committee Member

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: 1995 | 1994 | 1993 | 1992 | 1991 | 1986
Number of items: 7.

1995

Hofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/G620-GG65. https://resolver.caltech.edu/CaltechETD:etd-10112007-083903

Leino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ynt2-nn65. https://resolver.caltech.edu/CaltechETD:etd-10162007-111256

1994

Seizovic, Jakov N. (1994) The architecture and programming of a fine-grain multicomputer. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/53vc-hs15. https://resolver.caltech.edu/CaltechETD:etd-12072007-131639

1993

Boden, Nanette Jackson (1993) Runtime systems for fine-grain multicomputers. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2c3a-k589. https://resolver.caltech.edu/CaltechETD:etd-08222007-103344

1992

Hazewindus, Pieter Johannes (1992) Testing delay-insensitive circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/0d7v-9d09. https://resolver.caltech.edu/CaltechETD:etd-07202007-132706

1991

Burns, Steven Morgan (1991) Performance analysis and optimization of asynchronous circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/kez1-7q52. https://resolver.caltech.edu/CaltechETD:etd-07092007-072640

1986

Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2ngs-bp80. https://resolver.caltech.edu/CaltechETD:etd-03192008-143903

This list was generated on Sat Dec 21 11:02:52 2024 UTC.