2935 search results - page 18 / 587 » An Integrated Approach to High Integrity Software Verificati... |
163
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
142
click to vote
IFIP12
2009
15 years 1 months ago
2009
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...
152
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
112
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In many settings Web services are now perceived as the first choice technology to provide neatly encapsulated functionality for Web-based computation. To date, many standards hav...
147
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...