Sciweavers

24 search results - page 2 / 5
» emsoft 2008
Sort
View
EMSOFT
2008
Springer
13 years 6 months ago
Cyclic dependencies in modular performance analysis
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...
EMSOFT
2008
Springer
13 years 6 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
EMSOFT
2008
Springer
13 years 6 months ago
Energy efficient streaming applications with guaranteed throughput on MPSoCs
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
Jun Zhu, Ingo Sander, Axel Jantsch
EMSOFT
2008
Springer
13 years 6 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
EMSOFT
2008
Springer
13 years 6 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...