Search Sciweavers | Sciweavers

9018 search results - page 27 / 1804

» 3D-Brain Model Software

131

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

16 years 24 days ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

125

click to vote

FASE
2009
Springer

70views Software Engineering» more FASE 2009»

Synchronous Modeling and Validation of Priority Inheritance Schedulers

16 years 23 days ago

Download hal.archives-ouvertes.fr

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

claim paper

Read More »

131

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

16 years 22 days ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

114

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 17 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

126

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers