We stand with Ukraine

We stand with Ukraine

Marc Daumas

Orcid: 0000-0001-7741-8374

According to our database¹, Marc Daumas authored at least 42 papers between 1993 and 2013.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France.

[BibT_eX]

[DOI]

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2012

8th Conference on Real Numbers and Computers.

[BibT_eX]

[DOI]

,

Javier D. Bruguera

Inf. Comput., 2012

2011

Guest Editors' Introduction.

[BibT_eX]

[DOI]

,

,

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011

2010

Certification of bounds on expressions involving rounded operators.

[BibT_eX]

[DOI]

,

Guillaume Melquiond

ACM Trans. Math. Softw., 2010

Improved bound for stochastic formal correctness of numerical algorithms.

[BibT_eX]

[DOI]

,

David R. Lester

,

Érik Martin-Dorel

,

Annick Truffert

Innov. Syst. Softw. Eng., 2010

Barra: A Parallel Functional Simulator for GPGPU.

[BibT_eX]

[DOI]

Caroline Collange

,

,

,

Proceedings of the MASCOTS 2010, 2010

2009

Verified Real Number Calculations: A Library for Interval Arithmetic.

[BibT_eX]

[DOI]

,

David R. Lester

,

César A. Muñoz

IEEE Trans. Computers, 2009

Formally Verified Argument Reduction with a Fused Multiply-Add.

[BibT_eX]

[DOI]

,

,

IEEE Trans. Computers, 2009

Stochastic Formal Methods for Hybrid Systems.

[BibT_eX]

,

Érik Martin-Dorel

,

David R. Lester

,

Annick Truffert

Proceedings of the First NASA Formal Methods Symposium, 2009

A Formal Theory of Cooperative TU-Games.

[BibT_eX]

[DOI]

,

Érik Martin-Dorel

,

Annick Truffert

,

Proceedings of the Modeling Decisions for Artificial Intelligence, 2009

Using Graphics Processors for Parallelizing Hash-Based Data Carving.

[BibT_eX]

[DOI]

Caroline Collange

,

Yoginder S. Dandass

,

,

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

État de l'intégration de la virgule flottante dans les processeurs graphiques.

[BibT_eX]

[DOI]

Caroline Collange

,

,

Tech. Sci. Informatiques, 2008

Line-by-line spectroscopic simulations on graphics processing units.

[BibT_eX]

[DOI]

Caroline Collange

,

,

Comput. Phys. Commun., 2008

2007

Formal proof for delayed finite field arithmetic using floating point operators

[BibT_eX]

[DOI]

,

CoRR, 2007

Stochastic Formal Methods: An Application to Accuracy of Numeric Software.

[BibT_eX]

[DOI]

,

David R. Lester

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Graphic processors to speed-up simulations for the design of high performance solar receptors.

[BibT_eX]

[DOI]

Caroline Collange

,

,

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

2006

Preface.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2006

Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors

[BibT_eX]

[DOI]

,

David R. Lester

CoRR, 2006

Caractéristiques arithmétiques des processeurs graphiques

[BibT_eX]

[DOI]

,

Guillaume Da Graça

,

CoRR, 2006

A library of Taylor models for PVS automatic proof checker

[BibT_eX]

[DOI]

Francisco Cháves

,

CoRR, 2006

2005

Guaranteed Proofs Using Interval Arithmetic.

[BibT_eX]

[DOI]

,

Guillaume Melquiond

,

César A. Muñoz

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Properties of two's complement floating point notations.

[BibT_eX]

[DOI]

,

Int. J. Softw. Tools Technol. Transf., 2004

A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials.

[BibT_eX]

[DOI]

,

Numer. Algorithms, 2004

2003

Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set.

[BibT_eX]

[DOI]

,

David W. Matula

J. VLSI Signal Process., 2003

Additive symmetries: the non-negative case.

[BibT_eX]

[DOI]

,

Philippe Langlois

Theor. Comput. Sci., 2003

Theorems on Efficient Argument Reductions.

[BibT_eX]

[DOI]

,

,

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003

Representable Correcting Terms for Possibly Underflowing Floating Point Operations.

[BibT_eX]

[DOI]

,

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003

2002

Properties of the subtraction valid for any floating point system.

[BibT_eX]

[DOI]

,

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

Compte rendu d'habilitation - Écrire les nombres autrement.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2001

Computer validated proofs of a toolset for adaptable arithmetic

[BibT_eX]

[DOI]

,

,

Claire Moreau-Finot

,

CoRR, 2001

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing.

[BibT_eX]

[DOI]

,

Laurence Rideau

,

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Parallel Implementations of the Selection Problem: A Case Study.

[BibT_eX]

[DOI]

,

Paraskevas Evripidou

Int. J. Parallel Program., 2000

A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay.

[BibT_eX]

[DOI]

,

David W. Matula

Proceedings of the 12th IEEE International Conference on Application-Specific Systems, 2000

1999

Division of Floating Point Expansions with an Application to the Computation of a Determinant.

[BibT_eX]

[DOI]

,

J. Univers. Comput. Sci., 1999

Multiplications of Floating Point Expansions.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Symposium on Computer Arithmetic (Arith-14 '99), 1999

1997

Validated Roundings of Dot Products by Sticky Accumulation.

[BibT_eX]

[DOI]

,

David W. Matula

IEEE Trans. Computers, 1997

Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations.

[BibT_eX]

,

Françoise Bataille

Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

1996

Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision. (Contributions to Computer Arithmetic: Towards a Control of Precision).

[BibT_eX]

[DOI]

PhD thesis, 1996

1995

Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions.

[BibT_eX]

[DOI]

,

Christophe Mazenc

,

Xavier Merrheim

,

Jean-Michel Muller

J. Univers. Comput. Sci., 1995

1994

Implementing On Line Arithmetic on PAM.

[BibT_eX]

[DOI]

,

Jean-Michel Muller

,

Proceedings of the Field-Programmable Logic, 1994

1993

Results of Parallel Implementations of the Selection Problem Using Sisal.

[BibT_eX]

[DOI]

,

Paraskevas Evripidou

Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

Design of a fast validated dot product operation.

[BibT_eX]

[DOI]

,

David W. Matula

Proceedings of the 11th Symposium on Computer Arithmetic, 29 June, 1993

Loading...