Design, Modeling, and Specification of Systems

Seminar schedule, Spring '97

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:

• Aleks Gollu, UC Berkeley, SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata
• Jim Rowson, Alta Cadence Systems, Interface-based Design
• Prof. Edward A. Lee, UC Berkeley, On the Methodology of Design for Electronic Systems
• Prof. David G Messerschmitt, UC Berkeley, Complexity Management: A Major Issue for Telecommunications and Networking
• Ole Bentz, UC Berkeley, An Information-centric Design Server
• Prof. A. Richard Newton, UC Berkeley, Issues in the Design and Implementation of a Distributed Design System for Microelectronics

Thursday, April 3rd, 1997

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

Vojin Zivojnovic
Institute for Integrated Systems in Signal Processing (ISS)
Aachen University of Technology.
Processor/Compiler Co-Design of DSP and Embedded Systems: A Quantitative Approach

Thursday, April 10th, 1997

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

Jim Young
Dept. of Electrical Engineering and Computer Science
UC Berkeley
JavaTime: An environment for high-level design and specification

Thursday, April 24th, 1997

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

Asawaree Kalavade
Bell Labs

Performance Estimation for the Codesign of Systems Running Concurrent Applications

Thursday, May 1st, 1997

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

David Ku
Escalade Corp.

The Changing Vision of Web Application Development

Thursday, May 8th, 1997

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

Sanford Klausner
Cubicon, Inc

Models of Computation in the Cubicon Medium