2009 |
36 | EE | Sylvain Collange,
Yoginder S. Dandass,
Marc Daumas,
David Defour:
Using Graphics Processors for Parallelizing Hash-Based Data Carving.
HICSS 2009: 1-10 |
35 | EE | Sylvain Collange,
Yoginder S. Dandass,
Marc Daumas,
David Defour:
Using Graphics Processors for Parallelizing Hash-based Data Carving
CoRR abs/0901.1307: (2009) |
34 | EE | 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 | EE | Sylvain Collange,
Marc Daumas,
David Defour:
Line-by-line spectroscopic simulations on graphics processing units.
Computer Physics Communications 178(2): 135-143 (2008) |
32 | EE | 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 | EE | 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 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods: An Application to Accuracy of Numeric Software.
HICSS 2007: 262 |
29 | EE | Marc Daumas,
David Lester,
César Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic
CoRR abs/0708.3721: (2007) |
28 | EE | Sylvie Boldo,
Marc Daumas,
Ren-Cang Li:
Formally Verified Argument Reduction with a Fused-Multiply-Add
CoRR abs/0708.3722: (2007) |
27 | EE | Marc Daumas,
Guillaume Melquiond:
Certification of bounds on expressions involving rounded operators
CoRR abs/cs/0701186: (2007) |
26 | EE | Marc Daumas,
Pascal Giorgi:
Formal proof for delayed finite field arithmetic using floating point operators
CoRR abs/cs/0703026: (2007) |
25 | EE | 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 | EE | Francisco Cháves,
Marc Daumas:
A library of Taylor models for PVS automatic proof checker
CoRR abs/cs/0602005: (2006) |
23 | EE | Marc Daumas,
Guillaume Da Graça,
David Defour:
Caractéristiques arithmétiques des processeurs graphiques
CoRR abs/cs/0605081: (2006) |
22 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods: An application to accuracy of numeric software
CoRR abs/cs/0606101: (2006) |
21 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors
CoRR abs/cs/0610110: (2006) |
20 | EE | Marc Daumas,
Nathalie Revol:
Preface.
Theor. Comput. Sci. 351(1): 1 (2006) |
2005 |
19 | EE | Marc Daumas,
Guillaume Melquiond,
César Muñoz:
Guaranteed Proofs Using Interval Arithmetic.
IEEE Symposium on Computer Arithmetic 2005: 188-195 |
2004 |
18 | EE | Sylvie Boldo,
Marc Daumas:
Properties of two's complement floating point notations.
STTT 5(2-3): 237-246 (2004) |
2003 |
17 | EE | Ren-Cang Li,
Sylvie Boldo,
Marc Daumas:
Theorems on Efficient Argument Reductions.
IEEE Symposium on Computer Arithmetic 2003: 129-136 |
16 | EE | 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 | EE | 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 | EE | Sylvie Boldo,
Marc Daumas:
Properties of the subtraction valid for any floating point system.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
2001 |
12 | EE | 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 | EE | 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 | EE | 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 | EE | Marc Daumas:
Multiplications of Floating Point Expansions.
IEEE Symposium on Computer Arithmetic 1999: 250-257 |
7 | EE | 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 | EE | 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 | EE | Marc Daumas,
David W. Matula:
Design of a fast validated dot product operation.
IEEE Symposium on Computer Arithmetic 1993: 62-69 |