Search Sciweavers | Sciweavers

15777 search results - page 66 / 3156

» The Reformulation-Optimization Software Engine

139

click to vote

CSEE
2009
Springer

94views Software Engineering» more CSEE 2009»

Improving Communication Skills of SE Students through Curricular Innovation

15 years 11 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

15 years 11 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

110

click to vote

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

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

15 years 11 months ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

113

Voted

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

15 years 11 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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers