Computation of numerical algorithms with parametric floating point operators

Massimo Bartolucci, Paolo Guazzoni, Giorgio Manfredi, Giacomo R. Sechi, Luisa Zetta. Computation of numerical algorithms with parametric floating point operators. Journal of Systems Architecture, 43(8):587-599, 1997. [doi]

Abstract

Abstract is missing.