Search Sciweavers | Sciweavers

2960 search results - page 13 / 592

» A vision for embedded software

click to vote

ICSE
2005
IEEE-ACM

174views Software Engineering» more ICSE 2005»

Component-based software engineering for embedded systems

14 years 1 months ago

Download www.mrtc.mdh.se

Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...

Ivica Crnkovic

claim paper

Read More »

click to vote

ECEASST
2010

99views Computer Vision» more ECEASST 2010»

A Deductive Verification Platform for Cryptographic Software

13 years 4 months ago

Download opencert.iist.unu.edu

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...

claim paper

Read More »

click to vote

SCOPES
2007
Springer

133views System Software» more SCOPES 2007»

Improvements to the Psi-SSA representation

14 years 1 months ago

Download www.scopesconf.org

François de Ferrière

claim paper

Read More »

click to vote

SCOPES
2007
Springer

120views System Software» more SCOPES 2007»

Optimal chain rule placement for instruction selection based on SSA graphs

14 years 1 months ago

Download www.scopesconf.org

Stefan Schäfer, Bernhard Scholz

claim paper

Read More »

click to vote

COMPSAC
2008
IEEE

114views Software Engineering» more COMPSAC 2008»

A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers