Error Distribution Estimation for Fixed-point Arithmetic using Program Derivatives.

Soramichi Akiyama Ryota Shioya Yuto Miyatake Tongxin Yang

Published in: ISQED (2024)

Keyphrases

fixed point
floating point
sufficient conditions
dynamical systems
probability distribution
variational inequalities
higher order
stationary points
bargaining solution
multi view
belief propagation
constraint databases
fixed point theorem
graphical models
large deviations