IEEE standard for floating-point arithmetic D Zuras, M Cowlishaw, A Aiken, M Applegate, D Bailey, S Bass, ... IEEE Std 754 (2008), 1-70, 2008 | 288 | 2008 |

Barra: A parallel functional simulator for gpgpu C Collange, M Daumas, D Defour, D Parello 2010 IEEE International Symposium on Modeling, Analysis and Simulation of …, 2010 | 152 | 2010 |

Certification of bounds on expressions involving rounded operators M Daumas, G Melquiond ACM Transactions on Mathematical Software (TOMS) 37 (1), 2, 2010 | 144 | 2010 |

A generic library for floating-point numbers and its application to exact computing M Daumas, L Rideau, L Théry International Conference on Theorem Proving in Higher Order Logics, 169-184, 2001 | 130 | 2001 |

Guaranteed proofs using interval arithmetic M Daumas, G Melquiond, C Munoz 17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005 | 77 | 2005 |

Verified real number calculations: A library for interval arithmetic M Daumas, D Lester, C Munoz IEEE Transactions on Computers 58 (2), 226-237, 2008 | 75 | 2008 |

Representable correcting terms for possibly underflowing floating point operations S Boldo, M Daumas Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, 79-86, 2003 | 48 | 2003 |

Qualité des calculs sur ordinateur-vers des arithmétiques plus fiables M Daumas, JM Muller Paris, Masson, Coll. Informatique, 1997 | 48* | 1997 |

Modular range reduction: A new algorithm for fast and accurate computation of the elementary functions M Daumas, C Mazenc, X Merrheim, JM Muller J. UCS The Journal of Universal Computer Science: Annual Print and CD-ROM …, 1996 | 43 | 1996 |

Theorems on efficient argument reductions RC Li, S Boldo, M Daumas Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, 129-136, 2003 | 38 | 2003 |

A simple test qualifying the accuracy of Horner's rule for polynomials S Boldo, M Daumas Numerical Algorithms 37 (1), 45-60, 2004 | 35 | 2004 |

Recoders for partial compression and rounding. M Daumas, DW Matula | 35 | 1997 |

Using graphics processors for parallelizing hash-based data carving C Collange, YS Dandass, M Daumas, D Defour 2009 42nd Hawaii International Conference on System Sciences, 1-10, 2009 | 34 | 2009 |

Generating formally certified bounds on values and round-off errors M Daumas, G Melquiond Real Numbers and Computers, 55-70, 2004 | 33 | 2004 |

A Booth multiplier accepting both a redundant or a non redundant input with no additional delay M Daumas, DW Matula Proceedings IEEE International Conference on Application-Specific Systems …, 2000 | 32 | 2000 |

Division of Floating Point Expansions with an Application to the Computation of a Determinant. M Daumas, C Finot J. Univers. Comput. Sci. 5 (6), 323-338, 1999 | 31 | 1999 |

Validated roundings of dot products by sticky accumulation M Daumas, DW Matula IEEE Transactions on Computers 46 (5), 623-629, 1997 | 25 | 1997 |

Formally verified argument reduction with a fused multiply-add S Boldo, M Daumas, RC Li IEEE Transactions on Computers 58 (8), 1139-1145, 2008 | 22 | 2008 |

Further reducing the redundancy of a notation over a minimally redundant digit set M Daumas, DW Matula The Journal of VLSI Signal Processing 33 (1), 7-18, 2003 | 22 | 2003 |

Multiplications of floating point expansions M Daumas Computer Arithmetic, 1999. Proceedings. 14th IEEE Symposium on, 250-257, 1999 | 21 | 1999 |