1953 search results - page 161 / 391 » codes 2010 |
138
Voted
ISPASS
2010
IEEE
15 years 9 months ago
2010
IEEE
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...
128
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...
140
click to vote
ISQED
2010
IEEE
15 years 7 months ago
2010
IEEE
Recent studies have shown that an attacker can retrieve confidential information from cryptographic hardware (e.g. the secret key) by introducing internal faults. A secure and re...
143
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
144
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Network coding has been recently proposed as an efficient method to improve throughput, minimize delays and remove the need for reconciliation between network nodes in distribute...