Citation Context

... ÉNS Lyon) have worked on new floating-point algorithms for computing the exact and approximated errors of the FMA (fused multiply-and-add). This article is accepted in IEEE Transactions on Computers =-=[14]-=-. • S. Boldo and T. Nguyen have worked on how to prove numerical programs on multiple architectures [23]. T. Nguyen presented her poster [43] at the Digiteo Forum on October 12th 2010. • S. Boldo, F. ...