250 search results - page 24 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
87
Voted
ICFP
1997
ACM
15 years 3 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
114
click to vote
RTSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
96
Voted
TAPSOFT
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
78
Voted
IWMM
2000
Springer
15 years 2 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...