Login / Signup
An automated, efficient and static bit-width optimization methodology towards maximum bit-width-to-error tradeoff with affine arithmetic model.
Yu Pu
Yajun Ha
Published in:
ASP-DAC (2006)
Keyphrases
</>
computational model
probabilistic model
formal model
cost function
optimization model
mathematical model
statistical model
global optimization
high level
data structure
probability distribution
management system
experimental data
bit vector