Marc Daumas

	2011
44		Vicenç Torra, Yasuo Narukawa, Marc Daumas: Guest Editors' Introduction. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19(Supplement-1): (2011)
	2010
43		Vicenç Torra, Yasuo Narukawa, Marc Daumas: Modeling Decisions for Artificial Intelligence - 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings Springer 2010
42		Sylvain Collange, Marc Daumas, David Defour, David Parello: Barra: A Parallel Functional Simulator for GPGPU. MASCOTS 2010: 351-360
41		Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1): (2010)
40		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)
	2009
39		Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS 2009: 1-10
38		Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou: A Formal Theory of Cooperative TU-Games. MDAI 2009: 81-91
37		Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-based Data Carving CoRR abs/0901.1307: (2009)
36		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)
35		Sylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused Multiply-Add. IEEE Trans. Computers 58(8): 1139-1145 (2009)
	2008
34		Sylvain Collange, Marc Daumas, David Defour: Line-by-line spectroscopic simulations on graphics processing units. Computer Physics Communications 178(2): 135-143 (2008)
33		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
32		Sylvain Collange, Marc Daumas, David Defour: Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP 2007: 377-382
31		Marc Daumas, David R. Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
30		Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
29		Sylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused-Multiply-Add CoRR abs/0708.3722: (2007)
28		Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators CoRR abs/cs/0701186: (2007)
27		Marc Daumas, Pascal Giorgi: Formal proof for delayed finite field arithmetic using floating point operators CoRR abs/cs/0703026: (2007)
26		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
25		Francisco Cháves, Marc Daumas: A library of Taylor models for PVS automatic proof checker CoRR abs/cs/0602005: (2006)
24		Marc Daumas, Guillaume Da Graça, David Defour: Caractéristiques arithmétiques des processeurs graphiques CoRR abs/cs/0605081: (2006)
23		Marc Daumas, David R. Lester: Stochastic Formal Methods: An application to accuracy of numeric software CoRR abs/cs/0606101: (2006)
22		Marc Daumas, David R. Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR abs/cs/0610110: (2006)
21		Marc Daumas, Nathalie Revol: Preface. Theor. Comput. Sci. 351(1): 1 (2006)
	2005
20		Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195
	2004
19		Sylvie Boldo, Marc Daumas: A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. Numerical Algorithms 37(1-4): 45-60 (2004)
18		Sylvie Boldo, Marc Daumas: Properties of two's complement floating point notations. STTT 5(2-3): 237-246 (2004)
	2003
17		Ren-Cang Li, Sylvie Boldo, Marc Daumas: Theorems on Efficient Argument Reductions. IEEE Symposium on Computer Arithmetic 2003: 129-136
16		Sylvie Boldo, Marc Daumas: Representable Correcting Terms for Possibly Underflowing Floating Point Operations. IEEE Symposium on Computer Arithmetic 2003: 79-86
15		Marc Daumas, Philippe Langlois: Additive symmetries: the non-negative case. Theor. Comput. Sci. 291(2): 143-157 (2003)
14		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)
	2002
13		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
12		Marc Daumas, Laurence Rideau, Laurent Théry: A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs 2001: 169-184
11		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
10		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
9		Marc Daumas, Paraskevas Evripidou: Parallel Implementations of the Selection Problem: A Case Study. International Journal of Parallel Programming 28(1): 103-131 (2000)
	1999
8		Marc Daumas: Multiplications of Floating Point Expansions. IEEE Symposium on Computer Arithmetic 1999: 250-257
7		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)
	1997
6		Marc Daumas, Françoise Bataille: Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. PPSC 1997
5		Marc Daumas, David W. Matula: Validated Roundings of Dot Products by Sticky Accumulation. IEEE Trans. Computers 46(5): 623-629 (1997)
	1995
4		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
3		Marc Daumas, Jean-Michel Muller, Jean Vuillemin: Implementing On Line Arithmetic on PAM. FPL 1994: 196-207
	1993
2		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
1		Marc Daumas, David W. Matula: Design of a fast validated dot product operation. IEEE Symposium on Computer Arithmetic 1993: 62-69

Coauthor Index

1	Françoise Bataille	[6]
2	Sylvie Boldo	[11] [13] [16] [17] [18] [19] [29] [35]
3	Francisco Cháves	[25]
4	Sylvain Collange	[26] [32] [33] [34] [37] [39] [42]
5	Yoginder S. Dandass	[37] [39]
6	David Defour	[24] [26] [32] [33] [34] [37] [39] [42]
7	Paraskevas Evripidou	[2] [9]
8	Claire Finot	[7]
9	Pascal Giorgi	[27]
10	Guillaume Da Graça	[24]
11	Philippe Langlois	[15]
12	David R. Lester	[22] [23] [30] [31] [36] [40]
13	Ren-Cang Li	[17] [29] [35]
14	Érik Martin-Dorel	[38] [40]
15	David W. Matula	[1] [5] [10] [14]
16	Christophe Mazenc	[4]
17	Guillaume Melquiond	[20] [28] [41]
18	Xavier Merrheim	[4]
19	Claire Moreau-Finot	[11]
20	Jean-Michel Muller	[3] [4]
21	César Muñoz	[20] [30] [36]
22	Yasuo Narukawa	[43] [44]
23	David Parello	[42]
24	Nathalie Revol	[21]
25	Laurence Rideau	[12]
26	Laurent Théry	[11] [12]
27	Vicenç Torra (Vicenç Torra I. Reventós)	[43] [44]
28	Annick Truffert	[38] [40]
29	Michel Ventou	[38]
30	Jean Vuillemin	[3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page