|
Foreword
Program
Committee
Additional
Reviewers
Sponsor
& Supporters
Session
1: Communication and Devices
Session
2: Modeling
Session
3: Languages
Panel
1
Session
4: Scheduling
Session
5: Optimization
Session
6: Design Methodologies
Session
7: Specification and Semantics
Session
8: Compilation and Power
Session
9: Clocks and Energy
Session
10: Formal Methods
Session
11: Software Testing
Session Chair: I. Harris
(University of California at Irvine)
Session
12: Specification and Dynamic Properties
Session
13: Real Time Properties
Panel
2
|
