, Rosa/Daisy (2014,2017), 2005.
, Abstract model of FPA
, ? Small size targets: 10-20 LOC Rewriting snippets Herbie, 2015.
Herbgrind (2018) Dynamic analysis (Valgrind), shadow computation: MPFR ? False positive, 2011. ,
, A community infrastructure for cooperation and comparison FPCore: description format for FP benchmarks Benchmarks: suite drawn for published results 111 benchs, 2018.
, Pros & Cons ? FPCore for fair comparison ? Small size cases, numerically safe case (worst 30% cases error = 5-6 bits) Others benchmarks: SPEC FPU, Hamming's book
, FPBench J.-M. Muller. On the definition of ulp(x)
, INRIA, 2005.
, Revol. Influence of the Condition Number on Interval Computations: Illustration on Some Examples. in honour of Vladik Kreinovich' 65th birthday, 1991.
,
,
, French). version: December, vol.4, pp.1-13, 1987.