Doctoral Degrees Conferred Search Academic Year: 1977-1978 Name Thesis Advisor(s) Thesis Title James Gillogly Allen Newell Performance Analysis of the Technology Chess Program Donald Heller Joseph Traub The Solution of Block Tri-diagonal Linear Systems on Parallel Computers Madhav Marathe Samuel Fuller Performance Evaluation at the Hardware Architecture Level and the Operating System Kernel Design Level Donald McCracken Allen Newell A Production System Version of the Hearsay II Speech Understanding System Steve Rubin Raj Reddy ARGOS Image Understanding System Richard Smith Lee Erman Word Hypothesization for Large-vocabulary Speech Understanding Systems Mark Stickel Bruce Buchanan Mechanical Theorem Proving and Artificial Intelligence Languages Academic Year: 1976-1977 Name Thesis Advisor(s) Thesis Title Douglas Clark Samuel Fuller List Structure: Measurements, Algorithms, and Encodings Ellis Cohen William Wulf Problems, Mechanisms, and Solutions Roy Levin William Wulf Program Structures for Exceptional Condition Handling 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)
