Sciweavers

2960 search results - page 13 / 592
» A vision for embedded software
Sort
View
127
Voted
ICSE
2005
IEEE-ACM
15 years 9 months ago
Component-based software engineering for embedded systems
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
89
Voted
ECEASST
2010
15 years 1 months ago
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...
120
Voted
SCOPES
2007
Springer
15 years 9 months ago
Improvements to the Psi-SSA representation
François de Ferrière
110
Voted
SCOPES
2007
Springer
15 years 9 months ago
Optimal chain rule placement for instruction selection based on SSA graphs
Stefan Schäfer, Bernhard Scholz
90
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems
Yu Guo, Krzysztof Sierszecki, Christo Angelov