1411 search results - page 77 / 283 » A Value Analysis for C Programs |
169
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
108
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
156
click to vote
SIAMJO
2011
14 years 10 months ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
148
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
121
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Acoustic quality in room acoustics is measured by well defined quantities, like definition, which can be derived from simulated impulse response filters or measured values. These t...