The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc Daumas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sylvie Boldo, Marc Daumas
    Representable Correcting Terms for Possibly Underflowing Floating Point Operations. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2003, pp:79-86 [Conf]
  2. Ren-Cang Li, Sylvie Boldo, Marc Daumas
    Theorems on Efficient Argument Reductions. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2003, pp:129-136 [Conf]
  3. Marc Daumas
    Multiplications of Floating Point Expansions. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 1999, pp:250-257 [Conf]
  4. Marc Daumas, Guillaume Melquiond, César Muñoz
    Guaranteed Proofs Using Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2005, pp:188-195 [Conf]
  5. Marc Daumas, David W. Matula
    A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. [Citation Graph (0, 0)][DBLP]
    ASAP, 2000, pp:205-214 [Conf]
  6. Marc Daumas, Jean-Michel Muller, Jean Vuillemin
    Implementing On Line Arithmetic on PAM. [Citation Graph (0, 0)][DBLP]
    FPL, 1994, pp:196-207 [Conf]
  7. Marc Daumas, David Lester
    Stochastic Formal Methods: An Application to Accuracy of Numeric Software. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:262- [Conf]
  8. Marc Daumas, Paraskevas Evripidou
    Results of Parallel Implementations of the Selection Problem Using Sisal. [Citation Graph (0, 0)][DBLP]
    Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993, pp:265-272 [Conf]
  9. Marc Daumas, Françoise Bataille
    Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  10. Marc Daumas, Laurence Rideau, Laurent Théry
    A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:169-184 [Conf]
  11. Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry
    Computer validated proofs of a toolset for adaptable arithmetic [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  12. Sylvie Boldo, Marc Daumas
    Properties of the subtraction valid for any floating point system. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  13. Marc Daumas, Paraskevas Evripidou
    Parallel Implementations of the Selection Problem: A Case Study. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2000, v:28, n:1, pp:103-131 [Journal]
  14. Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller
    Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1995, v:1, n:3, pp:162-175 [Journal]
  15. Marc Daumas, Claire Finot
    Division of Floating Point Expansions with an Application to the Computation of a Determinant. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:6, pp:323-338 [Journal]
  16. Sylvie Boldo, Marc Daumas
    Properties of two's complement floating point notations. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:237-246 [Journal]
  17. Marc Daumas, David W. Matula
    Validated Roundings of Dot Products by Sticky Accumulation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:5, pp:623-629 [Journal]
  18. Marc Daumas, Philippe Langlois
    Additive symmetries: the non-negative case. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:2, pp:143-157 [Journal]
  19. Marc Daumas, Nathalie Revol
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:1, pp:1- [Journal]
  20. Marc Daumas, Guillaume Melquiond
    Certification of bounds on expressions involving rounded operators [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  21. Marc Daumas, Pascal Giorgi
    Formal proof for delayed finite field arithmetic using floating point operators [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  22. Sylvain Collange, Marc Daumas, David Defour
    Graphic processors to speed-up simulations for the design of high performance solar receptors [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  23. Marc Daumas, David Lester
    Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  24. Francisco Cháves, Marc Daumas
    A library of Taylor models for PVS automatic proof checker [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  25. Marc Daumas, Guillaume Da Graça, David Defour
    Caractéristiques arithmétiques des processeurs graphiques [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  26. Marc Daumas, David Lester
    Stochastic Formal Methods: An application to accuracy of numeric software [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  27. Marc Daumas, David Lester, César Muñoz
    Verified Real Number Calculations: A Library for Interval Arithmetic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  28. Sylvie Boldo, Marc Daumas, Ren-Cang Li
    Formally Verified Argument Reduction with a Fused-Multiply-Add [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  29. Design of a fast validated dot product operation. [Citation Graph (, )][DBLP]


  30. Graphic processors to speed-up simulations for the design of high performance solar receptors. [Citation Graph (, )][DBLP]


  31. Using Graphics Processors for Parallelizing Hash-Based Data Carving. [Citation Graph (, )][DBLP]


  32. Barra: A Parallel Functional Simulator for GPGPU. [Citation Graph (, )][DBLP]


  33. A Formal Theory of Cooperative TU-Games. [Citation Graph (, )][DBLP]


  34. Using Graphics Processors for Parallelizing Hash-based Data Carving [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002