vix.ing · top · new · best · stats · spec

Sylvie Boldo

  1. Formally Verified Argument Reduction with a Fused-Multiply-Add
    2007/08/28 by Sylvie Boldo, Boldo, Sylvie, Marc Daumas +4 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Numerical Methods and Algorithms #Performance (cs.PF) #cs.MS #cs.PF