Marc Daumas - RankMe

49 papers B 4C 6Journal 29Unranked 9

Year	Rank	Type	Title / Venue / Authors
2013	—	`conf`	Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France. HICSS Marc Daumas
2012	J	`jnl`	8th Conference on Real Numbers and Computers. Inf. Comput. Marc Daumas, Javier D. Bruguera
2011	J	`jnl`	Guest Editors' Introduction. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Vicenç Torra, Yasuo Narukawa, Marc Daumas
2010	B	`conf`	Barra: A Parallel Functional Simulator for GPGPU. MASCOTS Caroline Collange, Marc Daumas, David Defour, David Parello
2010	J	`jnl`	Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. Marc Daumas, Guillaume Melquiond
2010	J	`jnl`	Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
2010	B	`ed.`	Modeling Decisions for Artificial Intelligence - 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings MDAI Vicenç Torra, Yasuo Narukawa, Marc Daumas
2009	B	`conf`	A Formal Theory of Cooperative TU-Games. MDAI Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou
2009	J	`jnl`	Formally Verified Argument Reduction with a Fused Multiply-Add. IEEE Trans. Computers Sylvie Boldo, Marc Daumas, Ren-Cang Li
2009	—	`conf`	Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
2009	—	`conf`	Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS Caroline Collange, Yoginder S. Dandass, Marc Daumas, David Defour
2009	J	`jnl`	Using Graphics Processors for Parallelizing Hash-based Data Carving CoRR Caroline Collange, Yoginder S. Dandass, Marc Daumas, David Defour
2009	J	`jnl`	Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers Marc Daumas, David R. Lester, César A. Muñoz
2008	J	`jnl`	Line-by-line spectroscopic simulations on graphics processing units. Comput. Phys. Commun. Caroline Collange, Marc Daumas, David Defour
2008	J	`jnl`	État de l'intégration de la virgule flottante dans les processeurs graphiques. Tech. Sci. Informatiques Caroline Collange, Marc Daumas, David Defour
2007	J	`jnl`	Certification of bounds on expressions involving rounded operators CoRR Marc Daumas, Guillaume Melquiond
2007	J	`jnl`	Formal proof for delayed finite field arithmetic using floating point operators CoRR Marc Daumas, Pascal Giorgi
2007	J	`jnl`	Formally Verified Argument Reduction with a Fused-Multiply-Add CoRR Sylvie Boldo, Marc Daumas, Ren-Cang Li
2007	J	`jnl`	Graphic processors to speed-up simulations for the design of high performance solar receptors CoRR Caroline Collange, Marc Daumas, David Defour
2007	—	`conf`	Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP Caroline Collange, Marc Daumas, David Defour
2007	—	`conf`	Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS Marc Daumas, David R. Lester
2007	J	`jnl`	Verified Real Number Calculations: A Library for Interval Arithmetic CoRR Marc Daumas, David R. Lester, César A. Muñoz
2006	J	`jnl`	A library of Taylor models for PVS automatic proof checker CoRR Francisco Cháves, Marc Daumas
2006	J	`jnl`	Caractéristiques arithmétiques des processeurs graphiques CoRR Marc Daumas, Guillaume Da Graça, David Defour
2006	J	`jnl`	Preface. Theor. Comput. Sci. Marc Daumas, Nathalie Revol
2006	J	`jnl`	Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR Marc Daumas, David R. Lester
2006	J	`jnl`	Stochastic Formal Methods: An application to accuracy of numeric software CoRR Marc Daumas, David R. Lester
2005	C	`conf`	Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic Marc Daumas, Guillaume Melquiond, César A. Muñoz
2004	J	`jnl`	A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials. Numer. Algorithms Sylvie Boldo, Marc Daumas
2004	J	`jnl`	Properties of two's complement floating point notations. Int. J. Softw. Tools Technol. Transf. Sylvie Boldo, Marc Daumas
2003	J	`jnl`	Additive symmetries: the non-negative case. Theor. Comput. Sci. Marc Daumas, Philippe Langlois
2003	J	`jnl`	Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. J. VLSI Signal Process. Marc Daumas, David W. Matula
2003	C	`conf`	Representable Correcting Terms for Possibly Underflowing Floating Point Operations. IEEE Symposium on Computer Arithmetic Sylvie Boldo, Marc Daumas
2003	C	`conf`	Theorems on Efficient Argument Reductions. IEEE Symposium on Computer Arithmetic Ren-Cang Li, Sylvie Boldo, Marc Daumas
2002	C	`conf`	Properties of the subtraction valid for any floating point system. FMICS Sylvie Boldo, Marc Daumas
2001	—	`conf`	A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs Marc Daumas, Laurence Rideau, Laurent Théry
2001	J	`jnl`	Compte rendu d'habilitation - Écrire les nombres autrement. Tech. Sci. Informatiques Marc Daumas
2001	J	`jnl`	Computer validated proofs of a toolset for adaptable arithmetic CoRR Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Théry
2000	—	`conf`	A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. ASAP Marc Daumas, David W. Matula
2000	J	`jnl`	Parallel Implementations of the Selection Problem: A Case Study. Int. J. Parallel Program. Marc Daumas, Paraskevas Evripidou
1999	J	`jnl`	Division of Floating Point Expansions with an Application to the Computation of a Determinant. J. Univers. Comput. Sci. Marc Daumas, Claire Finot
1999	C	`conf`	Multiplications of Floating Point Expansions. IEEE Symposium on Computer Arithmetic Marc Daumas
1997	—	`conf`	Discrete Evolution of 2D Turbulence with Injection for Parallel Machines and Clusters of Workstations. PP Marc Daumas, Françoise Bataille
1997	J	`jnl`	Validated Roundings of Dot Products by Sticky Accumulation. IEEE Trans. Computers Marc Daumas, David W. Matula
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
1995	J	`jnl`	Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. J. Univers. Comput. Sci. Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller
1994	B	`conf`	Implementing On Line Arithmetic on PAM. FPL Marc Daumas, Jean-Michel Muller, Jean Vuillemin
1993	C	`conf`	Design of a fast validated dot product operation. IEEE Symposium on Computer Arithmetic Marc Daumas, David W. Matula
1993	—	`conf`	Results of Parallel Implementations of the Selection Problem Using Sisal. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism Marc Daumas, Paraskevas Evripidou