Doctoral Degrees Conferred Search Academic Year: 1976-1977 Name Thesis Advisor(s) Thesis Title Keith Price Raj Reddy Change Detection and Analysis in Multi-spectral Images Michael Rychener Allen Newell Production Systems as a Programming Language for Artificial Intelligence Applications E. A. Schneider Nico Habermann Synchronization of Finite State Shared Resources Academic Year: 1975-1976 Name Thesis Advisor(s) Thesis Title Gideon Ariely William Wulf Verification of Systems Programs H. Chang Nico Habermann An Analysis of Deadlock Avoidance Schemes and the Resource Utilization For Non-pre-emptible Resources Richard Johnsson William Wulf An Approach to Global Register Allocation Bruce Lowerre Raj Reddy HARPY Speech Understanding System Charles Weinstock William Wulf Analysis of Storage Allocation Academic Year: 1974-1975 Name Thesis Advisor(s) Thesis Title Henry Goldberg Raj Reddy Segmentation and Labeling of Speech: A Comparative Performance Evaluation Pagination First page « First Previous page ‹ Previous … Page 9 Page 10 Page 11 Page 12 Current page 13 Academics Current Courses Upcoming Semester Courses Schedule of Classes Undergraduate Catalog Bachelor's Programs Master's Programs Doctoral Programs Ph.D. in Computer Science Ph.D. in ACO Ph.D. in PAL CNBC Certificate Program Ph.D. Dual Degree Portugal Doctoral - How to Apply Core CSD Advisors Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
