Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic.
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia.
⟨hal-00821667⟩