A non-local method for robustness analysis of floating point programs

Ivan Gazeau Dale Miller Catuscia Palamidessi

Published in: QAPL (2012)

Keyphrases

floating point
pairwise
similarity measure
computer vision
image sequences
square root
fast fourier transform