2271 search results - page 156 / 455 » Scalable Software Libraries |
188
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
155
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Differential Power Analysis (DPA) is a powerful side channel key recovery attack that efficiently breaks block ciphers implementations. In software, two main techniques are usually...
138
click to vote
P2P
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a content delivery infrastructure distributing and maintaining software packages in a large organization. Our work based on a trace-based analysis of an existing softwa...
149
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
121
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...