"On-the-fly detection of instability problems in floating-point program ..."

Tao Bao, Xiangyu Zhang (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics