Marc Daumas

	2009
36		Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS 2009: 1-10
35		Sylvain Collange, Yoginder S. Dandass, Marc Daumas, David Defour: Using Graphics Processors for Parallelizing Hash-based Data Carving CoRR abs/0901.1307: (2009)
34		Marc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)
	2008
33		Sylvain Collange, Marc Daumas, David Defour: Line-by-line spectroscopic simulations on graphics processing units. Computer Physics Communications 178(2): 135-143 (2008)
32		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
31		Sylvain Collange, Marc Daumas, David Defour: Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP 2007: 377-382
30		Marc Daumas, David Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
29		Marc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
28		Sylvie Boldo, Marc Daumas, Ren-Cang Li: Formally Verified Argument Reduction with a Fused-Multiply-Add CoRR abs/0708.3722: (2007)
27		Marc Daumas, Guillaume Melquiond: Certification of bounds on expressions involving rounded operators CoRR abs/cs/0701186: (2007)
26		Marc Daumas, Pascal Giorgi: Formal proof for delayed finite field arithmetic using floating point operators CoRR abs/cs/0703026: (2007)
25		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
24		Francisco Cháves, Marc Daumas: A library of Taylor models for PVS automatic proof checker CoRR abs/cs/0602005: (2006)
23		Marc Daumas, Guillaume Da Graça, David Defour: Caractéristiques arithmétiques des processeurs graphiques CoRR abs/cs/0605081: (2006)
22		Marc Daumas, David Lester: Stochastic Formal Methods: An application to accuracy of numeric software CoRR abs/cs/0606101: (2006)
21		Marc Daumas, David Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR abs/cs/0610110: (2006)
20		Marc Daumas, Nathalie Revol: Preface. Theor. Comput. Sci. 351(1): 1 (2006)
	2005
19		Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195
	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): (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] [28]
3	Francisco Cháves	[24]
4	Sylvain Collange	[25] [31] [32] [33] [35] [36]
5	Yoginder S. Dandass	[35] [36]
6	David Defour	[23] [25] [31] [32] [33] [35] [36]
7	Paraskevas Evripidou	[2] [9]
8	Claire Finot	[7]
9	Pascal Giorgi	[26]
10	Guillaume Da Graça	[23]
11	Philippe Langlois	[15]
12	David Lester	[21] [22] [29] [30] [34]
13	Ren-Cang Li	[17] [28]
14	David W. Matula	[1] [5] [10] [14]
15	Christophe Mazenc	[4]
16	Guillaume Melquiond	[19] [27]
17	Xavier Merrheim	[4]
18	Claire Moreau-Finot	[11]
19	Jean-Michel Muller	[3] [4]
20	César Muñoz	[19] [29] [34]
21	Nathalie Revol	[20]
22	Laurence Rideau	[12]
23	Laurent Théry	[11] [12]
24	Jean Vuillemin	[3]

Colors in the list of coauthors