logodali DALI

Publications and
Research Reports


Publications of year 2008

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. Jean-Guillaume Dumas,, Pascal Giorgi,, and Clément Pernet,. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages. ACM Trans. Math. Softw., 35(3):1-42, 2008. [doi:http://doi.acm.org/10.1145/1391989.1391992] [bibtex-entry]

Conference articles

  1. Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, and Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. In Proc. SPIE, volume 7074, pages 1-10, August 2008. [bibtex-entry]

  2. Olivier Bouissou and Matthieu Martel. A Hybrid Denotational Semantics for Hybrid Systems. In 17th European Symposium on Programming (ESOP), number 4960 of Lecture Notes in Computer Science, pages 63-77, 2008. [bibtex-entry]

  3. Olivier Bouissou and Matthieu Martel. Abstract Interpretation of the Physical Inputs of Embedded Programs. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 9th International Conference, number 4905 of Lecture Notes in Computer Science, pages 37-51, 2008. [bibtex-entry]

  4. Alexandre Chapoutot and Matthieu Martel. Static Analysis of Simulink Programs. In SLA++P'08, Model-driven High-level Programming of embedded Systems, 2008. [bibtex-entry]

  5. 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]

  6. 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]

  7. A. Hasan and C. Negre. Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation. In Proceedings of WAIFI 2008, Sienna, Italy, volume 5130 of LNCS, pages 88-102, 2008. [bibtex-entry]

  8. K.-H. Kim and C. Negre. Point Multiplication on Supersingular Elliptic Curves Defined over Fields of Characteristic 2 and 3. In SECRYPT'08, Porto, Portugal, pages 373-376, 2008. [bibtex-entry]

  9. Philippe Langlois and Nicolas Louvet. Accurate solution of triangular linear system. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA, September 2008. [bibtex-entry]

  10. Philippe Langlois and Nicolas Louvet. Compensated Horner algorithm in K times the working precision. In J.D. Brugera and M. Daumas, editors, RNC-8, Real Numbers and Computer Conference, Santiago de Compostela, Spain, pages 157-166, July 2008. [bibtex-entry]

  11. Matthieu Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. In International Workshop on Numerical Abstractions for Software Verification, 2008. Note: (Invited paper). [bibtex-entry]

  12. C. Negre and T. Plantard. Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation. In Proceedings of Australasian Conference on Information Security and Privacy (ACISPP 08), volume 5107 of LNCS, pages 463-477, 2008. [bibtex-entry]

  13. Y.Li and C. Negre. An efficient multiplication algorithm using binomial residue representation. In SECRYPT'08, Porto, Portugal, pages 319-324, 2008. [bibtex-entry]


  1. Philippe Langlois. Compensated Algorithms and Validated Bounds. SWIM 08, Montpellier, June 2008. [bibtex-entry]



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