EECS 290n
Contents

Home
Logistics
Outline
Technology
Project
Study group
Reading

EECS 290N Project Presentations

See also project reports.

9-9:20

A Model of Computation for Sensor Network Application Language
Alvise Bonivento

9:20-9:40

xGiotto and Schedulability
Arkadeb Ghosal

9:40-10:00

Ptossim: Simulating TinyOS in Ptolemy II
Elaine Cheong

10:00-10:20

Medical Imaging Toolkit
Tiffany Crawford

10:20-10:40

A Platform Based Design Flow for Kahn Process Networks
Abhijit Davare and Qi Zhu

10:40-11:00

A Schedulability-Preserving Transformation of Boolean Dataflow Networks to Petri Nets
Cong Liu

11:00-11:20

Kahn’s Principle and the Semantics of Discrete Event Systems
Xiaojun Liu

11:20-11:40

Design of Fault Tolerant Data Flow in Ptolemy II
Mark McKelvin

11:40-12:00

New Synthesis Flow of Communicating Processes Using Architectural Compiler(Removed at the request of Cadence)
Gerald Wang

12:00-1:30

Lunch

1:30-1:50

On Generating Safe Controllers for Discrete-Time Linear Systems
Adam Cataldo

1:50-2:10

Modeling and Simulating Discrete Event Systems in Metropolis
Guang Yang

2:10-2:30

Implementing Metropolis Quantity Managers in Ptolemy II
Haibo Zeng

2:30-2:50

Distributed Execution of Ptolemy Models
Yang Zhao and Thomas H. Feng

2:50-3:10

Timed Simulation with Multiple Resource Schedulability Analysis
Yang Zhao and Slobodan Matic

3:10-3:30

Compositionality Analysis With Function Dependency
Haiyang Zheng and Rachel Zhou

3:30-3:50

Toward a Denotational Semantics for Discrete Event Systems
Eleftherios D. Matsikoudis