Design, Modeling, and Specification of Systems

Seminar schedule, Fall 96

To request a seminar slot, please send email to the seminar organizers:
John Reekie and David Lidsky

If you're visiting and there is no slot available at a time that suits your schedule, we may be able to organize a special seminar time.

Past seminar abstracts:

• Comparing Models of Computation, Professor Edward A. Lee
• High-level What?, Professor Richard Newton
• Reactive Modules, Dr. Thomas A. Henzinger
• System-Level Design Exploration, Professor Jan M. Rabaey
  
• The Processing Graph Method Tool, Dr Dick Stevens
  
• Modelling Distribution with Partial Orders, Dr. Alain Girault
  
• From System to Implementation: Past, Present, and Speculation, Joachim Kunkel
  
• Unified Code Generation for Polymorphic Blocks, James A. Rowson
  
• The Conceptual-Level Approach to Complex System Design, David Lidsky
  
• Open Problems and Directions in Communications and DSP CAD, Rajeev Jain
  
• Multiprocessor scheduling of a Signal Flow Graph for Workstation Clusters, Ki-il Kum
  
• Using Ptolemy for Simulation of Free Space Optoelectronic Information Processing Systems, Prof. Steven P. Levitan
  
• A Typed Framework for Semantics of Dataflow Networks, Rajagopal Nagarajan
  
• Synchronous programming languages for reactive systems, Alain Girault
  

Thursday, December 05, 1996

4:00 - 5:00pm, Hogan Room, 531 Cory Hall

Professors Edward Lee, Richard Newton and Jan Rabaey
Panel discussion