Software Engineering

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...

Kai Lampka, Simon Perathoner, Lothar Thiele

claim paper

Read More »

36

click to vote

EMSOFT
2009
Springer

203views Software Engineering» more EMSOFT 2009»

Cache-aware scheduling and analysis for multicores

14 years 6 months ago

Download user.it.uu.se

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...

Nan Guan, Martin Stigge, Wang Yi, Ge Yu

claim paper

Read More »

22

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

14 years 6 months ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

28

click to vote

EMSOFT
2009
Springer

109views Software Engineering» more EMSOFT 2009»

Probabilistic modeling of data cache behavior

14 years 6 months ago

Download www.comp.nus.edu.sg

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...

Vinayak Puranik, Tulika Mitra, Y. N. Srikant

claim paper

Read More »

21

click to vote

EMSOFT
2009
Springer

101views Software Engineering» more EMSOFT 2009»

Refining the control structure of loops using static analysis

14 years 6 months ago

Download www.cs.colorado.edu

Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...

claim paper

Read More »

44

click to vote

EMSOFT
2009
Springer

194views Software Engineering» more EMSOFT 2009»

Clock-driven distributed real-time implementation of endochronous synchronous programs

14 years 6 months ago

Download www-rocq.inria.fr

An important step in model-based embedded system design consists in mapping functional speciﬁcations and their tasks/operations onto execution architectures and their ressources...

Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...

claim paper

Read More »

29

click to vote

EMSOFT
2009
Springer

145views Software Engineering» more EMSOFT 2009»

Flexible filters: load balancing through backpressure for stream programs

14 years 6 months ago

Download www.cs.columbia.edu

Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose ﬂexible ﬁlters as a technique that combines...

Rebecca L. Collins, Luca P. Carloni

claim paper

Read More »

24

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 6 months ago