Emphasis is on theoretical foundations of artificial intelligence, problem solving, search, and decision making with a view toward applications. Students are required to develop a working knowledge-based system in a realistic application domain. Cross-listed as SYS 616 . Covers parallel computation models, systems, languages, compilers, architectures, and algorithms. Provides a solid foundation on which advanced seminars on different aspects of parallel computation can be based.
Emphasis is on the practical application of parallel systems.
Cross-listed as EE 635 . The material which varies from year to year is selected to fill special needs of graduate students. CS 415 or equivalent Comparative study of the organization and implementation of a variety of programming languages and language features. Design principles are explored and applied in a historical review of major languages. Research issues such as polymorphism, formal semantics and verification explored in depth.