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 |