logodali DALI

Publications and
Research Reports


BACK TO INDEX

Articles in journal or book chapters

2009

  1. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Journal des Techniques et Sciences Informatiques (TSI), pp 503-531, 2009. [bibtex-entry]


  2. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Algorithms for accurate, validated and fast computations with polynomials. Japan Journal of Industrial and Applied Mathematics, Special issue on Verified Numerical Computation. 26(2,3):191-214, 2009. [bibtex-entry]


  3. M. Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. Journal of Formal Methods in System Design, 2009. Note: To appear (15 pages). [bibtex-entry]


2008

  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]


2007

  1. Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theor. Inform. Appl., 41(1):45-56, 2007. [bibtex-entry]


  2. C Negre. Efficient parallel multiplier in shifted polynomial basis. Journal of Systems Architecture, 53(2-3):109-116, 2007. [bibtex-entry]


  3. C. Negre. Finite field arithmetic using quasi-normal basis. Finite Fields and Their Applications, 13:635-647, 2007. [bibtex-entry]


2006

  1. Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, and Olivier Temam. Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Int. J. Parallel Program., 34(3):261-317, 2006. [doi:http://dx.doi.org/10.1007/s10766-006-0012-3] [bibtex-entry]


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


  3. Stef Graillat. A note on structured pseudospectra. J. Comput. Appl. Math., 191(1):68-76, 2006. [bibtex-entry]


  4. J.-C.Bajard, L. Imbert, and C. Negre. Arithmetic Operations in Finite Fields of Medium Prime Characteristic using Lagrange Representation. IEEE trans. comp., 55(9):1167-1177, sept 2006. [bibtex-entry]


  5. M. Martel. Semantics of roundoff error propagation in finite precision computations. Journal of Higher Order and Symbolic Computation, pp 7-30, 2006. [bibtex-entry]


2005

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


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


  3. Stef Graillat. A note on a nearest polynomial with a given root. SIGSAM Bull., 39(2):53-60, 2005. [bibtex-entry]


2004

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


  2. Philippe Langlois. More accuracy at fixed precision. J. Comp. Appl. Math., 162(1):57-77, January 2004. [bibtex-entry]


2003

  1. Marc Daumas and Philippe Langlois. Additive symmetries: the non-negative case. Theoret. Comput. Sci., 291(2):143-157, January 2003. Note: Http://dx.doi.org/10.1016/S0304-3975(02)00223-2. [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