logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of David Defour

Thesis

  1. David Defour. Fonctions élémentaires: algorithmes et implémentations efficaes pour l'arrondi correct en double précision. PhD thesis, École Normale Supérieure de Lyon, Lyon, France, 2003. [bibtex-entry]


Articles in journal or book chapters

  1. S. Collange, M. Daumas, and D. Defour. Etat de l'intégration de la virgule flottante dans les processeurs graphiques. Revue des sciences et technologies de l'information, 27/6:719-733, 2008. [doi:doi:10.3166/tsi.27.719-733] [bibtex-entry]


  2. Sylvain Collange, Marc Daumas, and David Defour. Line-by-line spectroscopic simulations on graphics processing units. Computer Physics Communications, 178:135-143, January 2008. [WWW] [doi:doi:10.1016/j.cpc.2007.08.013] Keyword(s): Radiative heat transfer, Line-by-line, Simulation, Graphics processing unit, GPU, Parallelism, Data parallel. [bibtex-entry]


  3. Bernard Goossens and David Defour. Ordonnancement distribué d'instructions. Technique et Science Informatiques, 25(7):827-844, 2006. [bibtex-entry]


  4. Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, and Nathalie Revol. A New Range-Reduction Algorithm. IEEE Trans. Computers, 54(3):331-339, 2005. [bibtex-entry]


  5. Bernard Goossens and David Defour. The instruction register file micro-architecture. Future Generation Comp. Syst., 21(4):767-773, 2005. [bibtex-entry]


  6. David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, and Paul Zimmermann. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms, 37(1-4):367-375, 2004. [bibtex-entry]


Conference articles

  1. Sylvain Collange, Yoginder S. Dandass, Marc Daumas, and David Defour. Using Graphics Processors for Parallelizing Hash-Based Data Carving. In HICCS, Hawaii International Conference on System Sciences, pages 1-10, 2009. [doi:10.1109/HICSS.2009.494] [bibtex-entry]


  2. Sylvain Collange, David Defour, and Arnaud Tisserand. Power Consuption of GPUs from a Software Perspective. In ICCS 2009: Compute.Discover.Innovate., volume 5544 of Lecture Notes in Computer Science, pages 922-931, 2009. Springer. [WWW] Keyword(s): GPGPU, Power consuption, CUDA, Nvidia. [bibtex-entry]


  3. Sylvain Collange, Marc Daumas, David Defour, and Regis Olivès. Fonctions élémentaires sur GPU exploitant la localité de valeurs. In SympA, pages 1-11, February 2008. [bibtex-entry]


  4. Sylvain Collange, Jorge Flóres, and David Defour. A GPU interval library based on Boost interval. In RNC9, Real Numbers and Computers, pages 61-72, Jully 2008. [bibtex-entry]


  5. Sylvain Collange, Marc Daumas, and David Defour. Graphic processors to speed-up simulations for the design of high performance solar receptors. In IEEE 18th International Conference Application-specific Systems, Architectures and Processors, Montréal Canada, pages 377-382, 2007. IEEE. [WWW] [bibtex-entry]


  6. Guillaume Da Graça and David Defour. Implementation of float-float operators on graphics hardware. In RNC7, pages 23-32, July 2006. [bibtex-entry]


  7. Marc Daumas, Guillaume Da Graça, and David Defour. Caractéristiques arthmétiques des processeurs graphiques. In SympA, pages 86-95, october 2006. [bibtex-entry]


  8. David Defour. Collapsing dependent floating point operations. In IMACS World Congress Scientific Computation, Applied Mathematics and Simulation, Paris, France, pages 1-10, July 2005. [bibtex-entry]


  9. Bernard Goossens and David Defour. Ordonnancement dynamique distribué. In SympA, pages 1-10, 2005. [bibtex-entry]


  10. David Defour and Florent de Dinechin. Software Carry-Save: A Case Study for Instruction-Level Parallelism. In PaCT, pages 207-214, 2003. [bibtex-entry]


Internal reports

  1. S. Collange, Y. Dandass, M. Daumas, and D. Defour. Using Graphics Processors for Parallelizing Hash-based Data Carving. Technical report, HAL-CCSD, 2009. [bibtex-entry]


  2. S. Collange, D. Defour, and D. Parello. Barra, a Modular Functional GPU Simulator for GPGPU. Technical report hal-00359342, HAL-CCSD, January 2009. Note: Submitted to SAMOS'09. [bibtex-entry]


  3. Sylvain Collange, Marc Daumas, and David Defour. Graphic processors to speed-up simulations for the design of high performance solar receptors. Technical report hal-00135126, Centre pour la Communication Scientifique Directe, Villeurbanne, France, 2007. [WWW] [bibtex-entry]


  4. David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, and Paul Zimmermann. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Research report 5406, INRIA, 2004. [WWW] [bibtex-entry]


  5. Florent de Dinechin, David Defour, and Christophe Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. Technical report RR2004-10, LIP, École Normale Supérieure de Lyon, March 2004. Note: Also available as INRIA report RR-5137. [bibtex-entry]


  6. Florent de Dinechin, David Defour, and Christophe Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. Technical report RR-5137, INRIA, March 2004. Note: Also available as LIP report 2004-10. [bibtex-entry]



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Thu May 13 12:44:47 2010
Author: langlois.


This document was translated from BibTEX by bibtex2html