Search Sciweavers | Sciweavers

22 search results - page 1 / 5

» emsoft 2009

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 »

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

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

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 »

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 »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers