Concepedia

Marc Daumas

MD

17

Publications

539

Citations

14

H-Index

1997

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire de l'Informatique du Parallélisme

École Normale Supérieure de Lyon

Institut national de recherche en sciences et technologies du numérique

Université de Perpignan

Marc Daumas is an author at Centre National de la Recherche Scientifique specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsApproximation TheoryParallel ProgrammingComputer ArchitectureVerificationParallel ComputingFormal Verification

Publications per year

1997–2010

17

Publications

17

Barra: A Parallel Functional Simulator for GPGPU

Caroline Collange, Marc Daumas, David Defour et al. · 2010 · 106 citations

Gpu Architecture, Engineering, Compute Kernel +14

Certification of bounds on expressions involving rounded operators

Marc Daumas, Guillaume Melquiond · ACM Transactions on Mathematical Software · 2010 · 105 citations

Engineering, Verification, Computer-aided Verification +18

Guaranteed Proofs Using Interval Arithmetic

Marc Daumas, Guillaume Melquiond, César Muñoz · 2005 · 56 citations · Full text

Numerical Analysis, Numerical Computation, Engineering +14

Verified Real Number Calculations: A Library for Interval Arithmetic

Marc Daumas, David Lester, César Muñoz · IEEE Transactions on Computers · 2008 · 55 citations · Full text

Real Data Type, Engineering, Interval Arithmetic +14

Representable correcting terms for possibly underflowing floating point operations

Sylvie Boldo, Marc Daumas · 2004 · 34 citations

Mathematical Programming, Engineering, Verification +17

Rows per page

1–5 of 17