Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.

Enyi Tang Earl T. Barr Xuandong Li Zhendong Su

Published in: ISSTA (2010)

Keyphrases

floating point
statistical analysis
interval arithmetic
fixed point
square root
instruction set
sparse matrices
floating point arithmetic
sensitivity analysis
numerical methods
statistical analyses
computer vision
np hard
scheduling problem
post processing