Marc Daumas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1993–2010
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MASCOTS | Barra: A Parallel Functional Simulator for GPGPU. | Caroline Collange, Marc Daumas, David Defour, David Parello |
| 2009 | MDAI | A Formal Theory of Cooperative TU-Games. | Marc Daumas, rik Martin-Dorel, Annick Truffert, Michel Ventou |
| 2005 | ARITH | Guaranteed Proofs Using Interval Arithmetic. | Marc Daumas, Guillaume Melquiond, Csar A. Muoz |
| 2003 | ARITH | Representable Correcting Terms for Possibly Underflowing Floating Point Operations. | Sylvie Boldo, Marc Daumas |
| 2003 | ARITH | Theorems on Efficient Argument Reductions. | Ren-Cang Li, Sylvie Boldo, Marc Daumas |
| 1999 | ARITH | Multiplications of Floating Point Expansions. | Marc Daumas |
| 1994 | FPL | Implementing On Line Arithmetic on PAM. | Marc Daumas, Jean-Michel Muller, Jean Vuillemin |
| 1993 | ARITH | Design of a fast validated dot product operation. | Marc Daumas, David W. Matula |