CODES 2002: Estes Park, Colorado, USA

Advances in system specification and system design frameworks

System design methods: analysis and verification

System design methods: analysis and verification

Co-design architecture and synthesis

System partitioning and timing analysis

Energy efficiency in system design

System design methods: scheduling advances