- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c17 |      | Marc Daumas: Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France. HICSS 2013: 3049-3056 |
| 2012 | ||
| j18 | | Marc Daumas, Javier D. Bruguera: 8th Conference on Real Numbers and Computers. Inf. Comput. 216: 1-2 (2012) |
| 2011 | ||
| j17 | | Vicenç Torra, Yasuo Narukawa, Marc Daumas: Guest Editors' Introduction. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19(Supplement-1) (2011) |
| 2010 | ||
| j16 | | Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert: Improved bound for stochastic formal correctness of numerical algorithms. ISSE 6(3): 173-179 (2010) |
| j15 | | Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1) (2010) |
| c16 | | Sylvain Collange, Marc Daumas, David Defour, David Parello: Barra: A Parallel Functional Simulator for GPGPU. MASCOTS 2010: 351-360 |
| e1 | | Vicenç Torra, Yasuo Narukawa, Marc Daumas (Eds.): Modeling Decisions for Artificial Intelligence - 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6408, Springer 2010, isbn 978-3-642-16291-6 |
| 2009 | ||
| j14 | | Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009) |
| j13 | | Sylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused Multiply-Add. IEEE Trans. Computers 58(8): 1139-1145 (2009) |
| c15 | | Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS 2009: 1-10 |
| c14 | | Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou: A Formal Theory of Cooperative TU-Games. MDAI 2009: 81-91 |
| c13 |  | Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert: Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods 2009: 136-145 |
| i11 | | Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-based Data Carving. CoRR abs/0901.1307 (2009) |
| 2008 | ||
| j12 | | Sylvain Collange, Marc Daumas, David Defour: Line-by-line spectroscopic simulations on graphics processing units. Computer Physics Communications 178(2): 135-143 (2008) |
| j11 | | Sylvain Collange, Marc Daumas, David Defour: État de l'intégration de la virgule flottante dans les processeurs graphiques. Technique et Science Informatiques 27(6): 719-733 (2008) |
| 2007 | ||
| c12 | | Sylvain Collange, Marc Daumas, David Defour: Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP 2007: 377-382 |
| c11 | | Marc Daumas, David R. Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262 |
| i10 | | Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR abs/0708.3721 (2007) |
| i9 | | Sylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused-Multiply-Add. CoRR abs/0708.3722 (2007) |
| i8 | | Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators. CoRR abs/cs/0701186 (2007) |
| i7 | | Marc Daumas, Pascal Giorgi: Formal proof for delayed finite field arithmetic using floating point operators. CoRR abs/cs/0703026 (2007) |
| i6 | | Sylvain Collange, Marc Daumas, David Defour: Graphic processors to speed-up simulations for the design of high performance solar receptors. CoRR abs/cs/0703028 (2007) |
| 2006 | ||
| j10 | | |
| i5 | | Francisco Cháves, Marc Daumas: A library of Taylor models for PVS automatic proof checker. CoRR abs/cs/0602005 (2006) |
| i4 | | Marc Daumas, Guillaume Da Graça, David Defour: Caractéristiques arithmétiques des processeurs graphiques. CoRR abs/cs/0605081 (2006) |
| i3 | | Marc Daumas, David R. Lester: Stochastic Formal Methods: An application to accuracy of numeric software. CoRR abs/cs/0606101 (2006) |
| i2 | | Marc Daumas, David R. Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors. CoRR abs/cs/0610110 (2006) |
| 2005 | ||
| c10 | | Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195 |
| 2004 | ||
| j9 | | Sylvie Boldo, Marc Daumas: A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. Numerical Algorithms 37(1-4): 45-60 (2004) |
| j8 | | Sylvie Boldo, Marc Daumas: Properties of two's complement floating point notations. STTT 5(2-3): 237-246 (2004) |
| 2003 | ||
| j7 | | Marc Daumas, Philippe Langlois: Additive symmetries: the non-negative case. Theor. Comput. Sci. 291(2): 143-157 (2003) |
| j6 | | Marc Daumas, David W. Matula: Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. VLSI Signal Processing 33(1-2): 7-18 (2003) |
| c9 | | Sylvie Boldo, Marc Daumas: Representable Correcting Terms for Possibly Underflowing Floating Point Operations. IEEE Symposium on Computer Arithmetic 2003: 79-86 |
| c8 | | Ren-Cang Li, Sylvie Boldo, Marc Daumas: Theorems on Efficient Argument Reductions. IEEE Symposium on Computer Arithmetic 2003: 129-136 |
| 2002 | ||
| j5 | | Sylvie Boldo, Marc Daumas: Properties of the subtraction valid for any floating point system. Electr. Notes Theor. Comput. Sci. 66(2): 132-144 (2002) |
| 2001 | ||
| c7 | | Marc Daumas, Laurence Rideau, Laurent Théry: A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs 2001: 169-184 |
| i1 | | Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry: Computer validated proofs of a toolset for adaptable arithmetic. CoRR cs.MS/0107025 (2001) |
| 2000 | ||
| j4 | | Marc Daumas, Paraskevas Evripidou: Parallel Implementations of the Selection Problem: A Case Study. International Journal of Parallel Programming 28(1): 103-131 (2000) |
| c6 | | Marc Daumas, David W. Matula: A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. ASAP 2000: 205-214 |
| 1999 | ||
| j3 | | Marc Daumas, Claire Finot: Division of Floating Point Expansions with an Application to the Computation of a Determinant. J. UCS 5(6): 323-338 (1999) |
| c5 | | Marc Daumas: Multiplications of Floating Point Expansions. IEEE Symposium on Computer Arithmetic 1999: 250-257 |
| 1997 | ||
| j2 | | Marc Daumas, David W. Matula: Validated Roundings of Dot Products by Sticky Accumulation. IEEE Trans. Computers 46(5): 623-629 (1997) |
| c4 | | Marc Daumas, Françoise Bataille: Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. PPSC 1997 |
| 1995 | ||
| j1 | | 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 1(3): 162-175 (1995) |
| 1994 | ||
| c3 | | Marc Daumas, Jean-Michel Muller, Jean Vuillemin: Implementing On Line Arithmetic on PAM. FPL 1994: 196-207 |
| 1993 | ||
| c2 | | Marc Daumas, David W. Matula: Design of a fast validated dot product operation. IEEE Symposium on Computer Arithmetic 1993: 62-69 |
| c1 | | 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: 265-272 |
Colors in the list of coauthors
Last update Sun May 19 21:13:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page