Search Sciweavers | Sciweavers

9018 search results - page 27 / 1804

» 3D-Brain Model Software

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

14 years 4 months ago

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

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

FASE
2009
Springer

70views Software Engineering» more FASE 2009»

Synchronous Modeling and Validation of Priority Inheritance Schedulers

14 years 4 months ago

Download hal.archives-ouvertes.fr

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

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

14 years 4 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

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 4 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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers