85 search results - page 6 / 17 » Time and Probability-Based Information Flow Analysis |
ICPR
2000
IEEE
15 years 1 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
CAIP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
107
Voted
CASES
2008
ACM
14 years 11 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
CJ
2010
14 years 7 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
ESOP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...