5. EMSOFT 2005: Jersey City, New Jersey, USA

Communication and devices

Modeling

Languages

Panel

Scheduling

Optimization

Design methodologies

Specification and semantics

Compilation and power

Clocks and energy

Formal methods

Software testing

Specification and dynamic properties

Real time properties

Panel