Marc Daumas

ORCID

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Venues

HICSS

Inf. Comput.

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Marc Daumas
Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France. HICSS (2013)
Marc Daumas, Javier D. Bruguera
8th Conference on Real Numbers and Computers. Inf. Comput. 216 (2012)
Vicenç Torra, Yasuo Narukawa, Marc Daumas
Guest Editors' Introduction. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19 (Supplement-1) (2011)
Marc Daumas, Guillaume Melquiond
Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37 (1) (2010)
Sylvain Collange, Marc Daumas, David Defour, David Parello
Barra: A Parallel Functional Simulator for GPGPU. MASCOTS (2010)
Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. 6 (3) (2010)
Sylvie Boldo, Marc Daumas, Ren-Cang Li
Formally Verified Argument Reduction with a Fused Multiply-Add. IEEE Trans. Computers 58 (8) (2009)
Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour
Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS (2009)
Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour
Using Graphics Processors for Parallelizing Hash-based Data Carving CoRR (2009)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58 (2) (2009)
Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods (2009)
Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou
A Formal Theory of Cooperative TU-Games. MDAI (2009)
Sylvain Collange, Marc Daumas, David Defour
Line-by-line spectroscopic simulations on graphics processing units. Comput. Phys. Commun. 178 (2) (2008)
Sylvain Collange, Marc Daumas, David Defour
État de l'intégration de la virgule flottante dans les processeurs graphiques. Tech. Sci. Informatiques 27 (6) (2008)
Marc Daumas, Pascal Giorgi
Formal proof for delayed finite field arithmetic using floating point operators CoRR (2007)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic CoRR (2007)
Sylvain Collange, Marc Daumas, David Defour
Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP (2007)
Marc Daumas, David R. Lester
Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS (2007)
Marc Daumas, Guillaume Melquiond
Certification of bounds on expressions involving rounded operators CoRR (2007)
Sylvie Boldo, Marc Daumas, Ren-Cang Li
Formally Verified Argument Reduction with a Fused-Multiply-Add CoRR (2007)
Sylvain Collange, Marc Daumas, David Defour
Graphic processors to speed-up simulations for the design of high performance solar receptors CoRR (2007)
Marc Daumas, Guillaume Da Graça, David Defour
Caractéristiques arithmétiques des processeurs graphiques CoRR (2006)
Francisco Cháves, Marc Daumas
A library of Taylor models for PVS automatic proof checker CoRR (2006)
Marc Daumas, David R. Lester
Stochastic Formal Methods: An application to accuracy of numeric software CoRR (2006)
Marc Daumas, Nathalie Revol
Preface. Theor. Comput. Sci. 351 (1) (2006)
Marc Daumas, David R. Lester
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR (2006)
Marc Daumas, Guillaume Melquiond, César A. Muñoz
Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic (2005)
Sylvie Boldo, Marc Daumas
A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. Numer. Algorithms 37 (1-4) (2004)
Sylvie Boldo, Marc Daumas
Properties of two's complement floating point notations. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Marc Daumas, David W. Matula
Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. J. VLSI Signal Process. 33 (1-2) (2003)
Sylvie Boldo, Marc Daumas
Representable Correcting Terms for Possibly Underflowing Floating Point Operations. IEEE Symposium on Computer Arithmetic (2003)
Marc Daumas, Philippe Langlois
Additive symmetries: the non-negative case. Theor. Comput. Sci. 291 (2) (2003)
Ren-Cang Li, Sylvie Boldo, Marc Daumas
Theorems on Efficient Argument Reductions. IEEE Symposium on Computer Arithmetic (2003)
Sylvie Boldo, Marc Daumas
Properties of the subtraction valid for any floating point system. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry
Computer validated proofs of a toolset for adaptable arithmetic CoRR (2001)
Marc Daumas
Compte rendu d'habilitation - Écrire les nombres autrement. Tech. Sci. Informatiques 20 (10) (2001)
Marc Daumas, Laurence Rideau, Laurent Théry
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs (2001)
Marc Daumas, David W. Matula
A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. ASAP (2000)
Marc Daumas, Paraskevas Evripidou
Parallel Implementations of the Selection Problem: A Case Study. Int. J. Parallel Program. 28 (1) (2000)
Marc Daumas
Multiplications of Floating Point Expansions. IEEE Symposium on Computer Arithmetic (1999)
Marc Daumas, Claire Finot
Division of Floating Point Expansions with an Application to the Computation of a Determinant. J. Univers. Comput. Sci. 5 (6) (1999)
Marc Daumas, David W. Matula
Validated Roundings of Dot Products by Sticky Accumulation. IEEE Trans. Computers 46 (5) (1997)
Marc Daumas, Françoise Bataille
Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. PPSC (1997)
Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller
Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. J. Univers. Comput. Sci. 1 (3) (1995)
Marc Daumas, Jean-Michel Muller, Jean Vuillemin
Implementing On Line Arithmetic on PAM. FPL (1994)
Marc Daumas, David W. Matula
Design of a fast validated dot product operation. IEEE Symposium on Computer Arithmetic (1993)
Marc Daumas, Paraskevas Evripidou
Results of Parallel Implementations of the Selection Problem Using Sisal. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism (1993)

Marc Daumas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Daumas