Marc Daumas

Marc Daumas

Laboratoire PROMES - / France
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4728083
person_outline Marc Daumas's MOST POPULAR ARTICLES
1-) IEEE standard for floating-point arithmeticD Zuras, M Cowlishaw, A Aiken, M Applegate, D Bailey, S Bass, ...IEEE Std 754 (2008), 1-70, 20082732008
2-) Barra: A parallel functional simulator for gpgpuC Collange, M Daumas, D Defour, D Parello2010 IEEE International Symposium on Modeling, Analysis and Simulation of …, 20101472010
3-) Certification of bounds on expressions involving rounded operatorsM Daumas, G MelquiondACM Transactions on Mathematical Software (TOMS) 37 (1), 2, 20101432010
4-) A generic library for floating-point numbers and its application to exact computingM Daumas, L Rideau, L ThéryInternational Conference on Theorem Proving in Higher Order Logics, 169-184, 20011292001
5-) Guaranteed proofs using interval arithmeticM Daumas, G Melquiond, C Munoz17th IEEE Symposium on Computer Arithmetic (ARITH\'05), 188-195, 2005772005