Marc Daumas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2013

Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from FranceMarc Daumas. hicss 2013: 3049-3056 [doi]

2012

8th Conference on Real Numbers and ComputersMarc Daumas, Javier D. Bruguera. iandc, 216:1-2, 2012. [doi]

2011

Guest Editors' IntroductionVicenç Torra, Yasuo Narukawa, Marc Daumas. ijufks, 19(Supplement-1), 2011. [doi]

2010

Barra: A Parallel Functional Simulator for GPGPUSylvain Collange, Marc Daumas, David Defour, David Parello. mascots 2010: 351-360 [doi]

Improved bound for stochastic formal correctness of numerical algorithmsMarc Daumas, David Lester, Érik Martin-Dorel, Annick Truffert. isse, 6(3):173-179, 2010. [doi]

Certification of bounds on expressions involving rounded operatorsMarc Daumas, Guillaume Melquiond. TOMS, 37(1), 2010. [doi]

2009

2008

Line-by-line spectroscopic simulations on graphics processing unitsSylvain Collange, Marc Daumas, David Defour. cphysics, 178(2):135-143, 2008. [doi]

État de l intégration de la virgule flottante dans les processeurs graphiquesSylvain Collange, Marc Daumas, David Defour. tsi, 27(6):719-733, 2008. [doi]

2007

Graphic processors to speed-up simulations for the design of high performance solar receptorsSylvain Collange, Marc Daumas, David Defour. asap 2007: 377-382 [doi]

Stochastic Formal Methods: An Application to Accuracy of Numeric SoftwareMarc Daumas, David Lester. hicss 2007: 262 [doi]

2005

Guaranteed Proofs Using Interval ArithmeticMarc Daumas, Guillaume Melquiond, César Muñoz. arith 2005: 188-195 [doi]

2004

Properties of two s complement floating point notationsSylvie Boldo, Marc Daumas. STTT, 5(2-3):237-246, 2004. [doi]

A Simple Test Qualifying the Accuracy of Horner'S Rule for PolynomialsSylvie Boldo, Marc Daumas. na, 37(1-4):45-60, 2004. [doi]

2003

2002

Properties of the subtraction valid for any floating point systemSylvie Boldo, Marc Daumas. ENTCS, 66(2):132-144, 2002. [doi]

2001

A Generic Library for Floating-Point Numbers and Its Application to Exact ComputingMarc Daumas, Laurence Rideau, Laurent Théry. tphol 2001: 169-184 [doi]

Compte rendu d'habilitation - Écrire les nombres autrementMarc Daumas. tsi, 20(10):1343-1346, 2001. [doi]

2000

Parallel Implementations of the Selection Problem: A Case StudyMarc Daumas, Paraskevas Evripidou. ijpp, 28(1):103-131, 2000.

A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional DelayMarc Daumas, David W. Matula. asap 2000: 205-214 [doi]

1999

Multiplications of Floating Point ExpansionsMarc Daumas. arith 1999: 250-257 [doi]

Division of Floating Point Expansions with an Application to the Computation of a DeterminantMarc Daumas, Claire Finot. jucs, 5(6):323-338, 1999. [doi]

1997

Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of WorkstationsMarc Daumas, Françoise Bataille. ppsc 1997:

Validated Roundings of Dot Products by Sticky AccumulationMarc Daumas, David W. Matula. TC, 46(5):623-629, 1997.

1996

Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision. (Contributions to Computer Arithmetic: Towards a Control of Precision)Marc Daumas. PhD thesis, École normale supérieure de Lyon, France, 1996. [doi]

1995

Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary FunctionsMarc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller. jucs, 1(3):162-175, 1995. [doi]

1994

Implementing On Line Arithmetic on PAMMarc Daumas, Jean-Michel Muller, Jean Vuillemin. fpl 1994: 196-207

1993

Results of Parallel Implementations of the Selection Problem Using SisalMarc Daumas, Paraskevas Evripidou. ifip10-3 1993: 265-272

Design of a fast validated dot product operationMarc Daumas, David W. Matula. arith 1993: 62-69 [doi]

Sign in or sign up to see more results.

runs on WebDSL