1. Efficient architecture/compiler co-exploration using analytical models

   • Cristina Silvano
   • Giovanni Agosta
   • Gianluca Palermo

   OriginalPaper Pages: 1 - 23

2. Reward-based voltage scheduling for dynamic-priority hard real-time systems

   • Han-Saem Yun
   • Jihong Kim

   OriginalPaper Pages: 25 - 48

3. Formal verification of component-based designs

   • Daniel Karlsson
   • Petru Eles
   • Zebo Peng

   OriginalPaper Pages: 49 - 90