Search Sciweavers | Sciweavers

15777 search results - page 66 / 3156

» The Reformulation-Optimization Software Engine

click to vote

CSEE
2009
Springer

94views Software Engineering» more CSEE 2009»

Improving Communication Skills of SE Students through Curricular Innovation

14 years 2 months ago

Download serl.iiit.ac.in

Janet E. Burge, Paul V. Anderson

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

14 years 2 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

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

14 years 2 months ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 2 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

click to vote

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers