DISCUSSIONS
| EE249 Fall 04 Discussions | |||
| Presenter | Content | Material | Slides |
| Simone, Kelvin | Statecharts | Statecharts: A Visual Formalism for Complex Systems | dk |
| Jike, Wei | Data flow | A Denotational Semantics for Dataflow with Firing | ppt |
| Mike, Shamik | Data flow | Joint Minimization of Code and Data for Synchronous Dataflow Programs | zip |
| Josh | Petri Nets | Petri Nets: Properties, Analysis and Applications | |
| Chris, Alex | Hybrid Systems | An Overview of Hybrid Simulation Phenomena and Their Support by Hybrid Simulation Packages | |
| Max, Hari | Processor Modeling | Flexible and Formal Modeling of Microprocessors with Application to
Retargetable Simulation LISA-Machine Description Language and Generic Machine Model for HW/SW Co-Design |
Hari Max |