hehner@utcsri.UUCP (E.C.R. Hehner) (01/09/87)
*** REPLACE THIS LINE WITH YOUR MESSAGE *** FLASH ANNOUNCEMENT Joint Systems/Theory Seminar Tuesday January 13 11am SF1105 (Borodin's colloquium is postponed to another day) Professor Christian Lengauer University of Texas at Austin TITLE: An Implemented Method for Incremental Systolic Design ABSTRACT: We present a mathematically rigorous and, at the same time, convenient method for systolic design and derive alternative systolic designs for one expository matrix computation problem: matrix multiplication. Each design is synthesized from a simple program and a proposed layout of processors. The synthesis derives (1) a systolic parallel execution, (2) channel connections for the proposed processor layout, and (3) an arrangement of data streams such that the systolic execution can begin. Our choices of alternative designs are governed by formal theorems. The synthesis method is implementable and is particularly effective if implemented with graphics capability. Our implementation on the Symbolics 3600 displays the resulting designs and simulated executions graphically on the screen. The method has also been successfully applied to other matrix computation problems. Its centerpiece, a transformation of sequential program computations into systolic parallel ones, has been mechanically proved correct. Prof. Lengauer will give a demonstration of his system and be available for discussions Tuesday afternoon and Wednesday.
diana@csri.toronto.edu (Diana Li) (05/12/89)
Department of Computer Science, University of Toronto (SF = Sandford Fleming Building, 10 King's College Road) ------------------------------------------------------------- THEORY SEMINAR SF 1013, at 11:00 a.m., Friday 26 May 1989 Silvio Micali MIT "A constant round, perfect, zero-knowledge proof system for graph isomorphism" Abstract: The title says it all.
diana@csri.toronto.edu (Diana Li) (05/12/89)
Department of Computer Science, University of Toronto (GB = Gailbraith Building, 35 St. George Street) ------------------------------------------------------------- SYSTEMS/AI SEMINAR GB 119, at 11:10 a.m., Wednesday 31 May 1989 Jurg Nievergelt University of North Carolina "Smart Game Board and Go Explorer: A case study in software and knowledge engineering" Abstract. We describe the Smart Game Board, a software workbench dedicated to the development of game-playing programs, as a case study in exploratory software development; and Explorer, a program that plays the Oriental game of Go, as a case study in knowledge engineering. It took four years to build and perfect the Smart Game Board and test it in two applications: An interactive Go calculator that provides basic tactics routines, and a program that plays Othello. By the Spring of 1988 this powerful programming environment and test bed had matured to the stage where a new member of the team, who focused on game strategy, could implement a program to play the full game of Go during a summer of intensive work. In the Fall of '88, in its debugging test, Explorer won 6 games out of 7 in qualifying and competing in the 4th Annual Computer Go tournament in Taiwan. Although this project is unique in several ways, it is typical of exploratory software development in others. We present it as a case study in the interaction between software engineering and knowledge engineering that illustrates the decisive importance of a powerful software environment. Keywords and phrases: Exploratory software development, expert system, heuristics, search, computer game playing. (_J_o_i_n_t _w_o_r_k _w_i_t_h _A_n_d_e_r_s _K_i_e_r_u_l_f _a_n_d _K_e_n _C_h_e_n)
diana@csri.toronto.edu (Diana Li) (05/18/89)
Department of Computer Science, University of Toronto (GB = Gailbraith Building, 35 St. George Street) ------------------------------------------------------------- SYSTEMS SEMINAR GB 244, at 2:00 p.m., Tuesday 13 June 1989 Lixia Zhang MIT to be announced