EMSOFT 2009 | Sciweavers

7

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

13 years 11 months ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

7

click to vote

EMSOFT
2009
Springer

109views Software Engineering» more EMSOFT 2009»

Probabilistic modeling of data cache behavior

13 years 11 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 »

6

click to vote

EMSOFT
2009
Springer

101views Software Engineering» more EMSOFT 2009»

Refining the control structure of loops using static analysis

13 years 11 months ago

Download www.cs.colorado.edu

Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...

claim paper

Read More »

16

click to vote

EMSOFT
2009
Springer

194views Software Engineering» more EMSOFT 2009»

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

13 years 11 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 »

9

click to vote

EMSOFT
2009
Springer

145views Software Engineering» more EMSOFT 2009»

Flexible filters: load balancing through backpressure for stream programs

13 years 11 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 »

7

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

13 years 11 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

9

click to vote

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

SyncCharts in C: a proposal for light-weight, deterministic concurrency

13 years 11 months ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

13

click to vote

EMSOFT
2009
Springer

146views Software Engineering» more EMSOFT 2009»

Adding aggressive error correction to a high-performance compressing flash file system

13 years 11 months ago

Download www.ssrc.ucsc.edu

While NAND ﬂash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...

Yangwook Kang, Ethan L. Miller

claim paper

Read More »

6

click to vote

EMSOFT
2009
Springer

174views Software Engineering» more EMSOFT 2009»

NANDFS: a flexible flash file system for RAM-constrained systems

13 years 11 months ago

Download www.tau.ac.il

NANDFS is a ﬂash ﬁle system that exposes a memory-performance tradeoff to system integrators. The ﬁle system can be conﬁgured to use a large amount of RAM, in which case i...

Aviad Zuck, Ohad Barzilay, Sivan Toledo

claim paper

Read More »

12

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

13 years 11 months ago