Sign in
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization.
Jason Cong
Karthik Gururaj
Bin Liu
Chunyue Liu
Zhiru Zhang
Sheng Zhou
Yi Zou
Published in:
FCCM (2009)
Keyphrases
</>
fixed point
static analysis
dynamic analysis
sufficient conditions
floating point
source code
dynamical systems
databases
belief propagation
knowledge base
max min
fixed point theorem
learning algorithm
regular expressions
policy iteration
constraint databases