EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
