| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vicenç Torra, Yasuo Narukawa, Marc Daumas |
Guest Editors' Introduction.  |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert |
Improved bound for stochastic formal correctness of numerical algorithms. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, Guillaume Melquiond |
Certification of bounds on expressions involving rounded operators. |
ACM Trans. Math. Softw. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicenç Torra, Yasuo Narukawa, Marc Daumas (eds.) |
Modeling Decisions for Artificial Intelligence - 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings |
MDAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Collange, Marc Daumas, David Defour, David Parello |
Barra: A Parallel Functional Simulator for GPGPU. |
MASCOTS |
2010 |
DBLP DOI BibTeX RDF |
UNISIM, GPU, GPGPU, CUDA |
| 1 | Sylvie Boldo, Marc Daumas, Ren-Cang Li |
Formally Verified Argument Reduction with a Fused Multiply-Add. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester, César Muñoz |
Verified Real Number Calculations: A Library for Interval Arithmetic. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour |
Using Graphics Processors for Parallelizing Hash-based Data Carving |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou |
A Formal Theory of Cooperative TU-Games. |
MDAI |
2009 |
DBLP DOI BibTeX RDF |
automated proof checker, formalization, cooperative games |
| 1 | Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour |
Using Graphics Processors for Parallelizing Hash-Based Data Carving. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Collange, Marc Daumas, David Defour |
Line-by-line spectroscopic simulations on graphics processing units. |
Computer Physics Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Collange, Marc Daumas, David Defour |
État de l'intégration de la virgule flottante dans les processeurs graphiques. |
Technique et Science Informatiques |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Boldo, Marc Daumas, Ren-Cang Li |
Formally Verified Argument Reduction with a Fused-Multiply-Add |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Guillaume Melquiond |
Certification of bounds on expressions involving rounded operators |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester, César Muñoz |
Verified Real Number Calculations: A Library for Interval Arithmetic |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Pascal Giorgi |
Formal proof for delayed finite field arithmetic using floating point operators |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Collange, Marc Daumas, David Defour |
Graphic processors to speed-up simulations for the design of high performance solar receptors |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Collange, Marc Daumas, David Defour |
Graphic processors to speed-up simulations for the design of high performance solar receptors. |
ASAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester |
Stochastic Formal Methods: An Application to Accuracy of Numeric Software. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, Nathalie Revol |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Cháves, Marc Daumas |
A library of Taylor models for PVS automatic proof checker |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Guillaume Da Graça, David Defour |
Caractéristiques arithmétiques des processeurs graphiques |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester |
Stochastic Formal Methods: An application to accuracy of numeric software |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, David R. Lester |
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Guillaume Melquiond, César Muñoz |
Guaranteed Proofs Using Interval Arithmetic. |
IEEE Symposium on Computer Arithmetic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Marc Daumas |
A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. |
Numerical Algorithms |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Marc Daumas |
Properties of two's complement floating point notations. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Digital signal processing, Avionics, Formal proof |
| 1 | Marc Daumas, Philippe Langlois |
Additive symmetries: the non-negative case. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David W. Matula |
Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. |
VLSI Signal Processing |
2003 |
DBLP DOI BibTeX RDF |
redundant notation, computer arithmetic, multiplication, addition |
| 1 | Sylvie Boldo, Marc Daumas |
Representable Correcting Terms for Possibly Underflowing Floating Point Operations. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ren-Cang Li, Sylvie Boldo, Marc Daumas |
Theorems on Efficient Argument Reductions. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Marc Daumas |
Properties of the subtraction valid for any floating point system. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry |
Computer validated proofs of a toolset for adaptable arithmetic |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Laurence Rideau, Laurent Théry |
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, Paraskevas Evripidou |
Parallel Implementations of the Selection Problem: A Case Study. |
International Journal of Parallel Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David W. Matula |
A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. |
ASAP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, Claire Finot |
Division of Floating Point Expansions with an Application to the Computation of a Determinant. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas |
Multiplications of Floating Point Expansions. |
IEEE Symposium on Computer Arithmetic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, David W. Matula |
Validated Roundings of Dot Products by Sticky Accumulation. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Daumas, Françoise Bataille |
Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. |
PPSC |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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. UCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, Jean-Michel Muller, Jean Vuillemin |
Implementing On Line Arithmetic on PAM. |
FPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marc Daumas, David W. Matula |
Design of a fast validated dot product operation. |
IEEE Symposium on Computer Arithmetic |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")