Efficient architecture/compiler co-exploration using analytical models Cristina SilvanoGiovanni AgostaGianluca Palermo OriginalPaper Pages: 1 - 23
Reward-based voltage scheduling for dynamic-priority hard real-time systems Han-Saem YunJihong Kim OriginalPaper Pages: 25 - 48
Formal verification of component-based designs Daniel KarlssonPetru ElesZebo Peng OriginalPaper Pages: 49 - 90