logodali DALI

Publications and
Research Reports


Publications of year 2005


  1. Stef Graillat. Fiabilité des algorithmes numériques : pseudo-solutions struturées et précision. Doctorat en Informatique, Université de Perpignan Via Domitia, November 2005. [bibtex-entry]

Articles in journal or book chapters

  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]

Conference articles

  1. Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, and Nicolas Vasilache. Facilitating the search for compositions of program transformations. In ICS '05: Proceedings of the 19th annual international conference on Supercomputing, Cambridge, Massachusetts, pages 151-160, 2005. ACM Press. [doi:http://doi.acm.org/10.1145/1088149.1088169] [bibtex-entry]

  2. A. Costan, E. Goubault, S. Gaubert, M. Martel, and S. Putot. A policy iteration algorithm for computing fixed points in static analysis of programs. In Computer Aided Verification, CAV'05, number 3576 of Lecture Notes in Computer Science, pages 462-475, 2005. Springer-Verlag. [bibtex-entry]

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

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

  5. Philippe Langlois and Nicolas Louvet. Fast and Extra Precise Substitution. In CSC05: Second International Workshop on Combinatorial Scientific Computing, June 2005. Toulouse, France. [bibtex-entry]

  6. Philippe Langlois and Nicolas Louvet. Solving Triangular Systems More Accurately and Efficiently. In Proceedings of the 17th IMACS World Congress, Paris, volume CD-ROM, pages 1-10, July 2005. [bibtex-entry]

  7. M. Martel. Towards an abstraction of the physical environment of embedded systems. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'05, 2005. [bibtex-entry]

  8. C. Negre. Exponentiation to the power p in GF($p^k$) using Variants of Montgomery Modular Arithmetic. In Proceedings of Nordsec 2005, Tartu Estonia, pages 71-83, October 2005. [bibtex-entry]

  9. C. Negre. Quadrinomial Modular Multiplication using Modified Polynomial Basis. In Proceedings of ITCC 2005, Las Vegas USA, volume 1 of LNCS, pages 550-555, April 2005. [bibtex-entry]

  10. C. Negre. Scalar Multiplication on Elliptic Curves Defined over Fields of Small Odd Characteristic. In Indocrypt 2005, Bangalore India, volume 3797 of LNCS, pages 389-402, December 2005. [bibtex-entry]

Internal reports

  1. J.-C. Bajard, L. Imbert, and C. Negre. Arithmetic Operations in Finite Fields of Medium Prime Characteristic using the Lagrange Representation. Technical report 05028, LIRMM, October 2005. [bibtex-entry]

  2. J.-C. Bajard, C. Negre, and T. Plantard. Double Polynomial Basis Representation For Binary Field Arithmetic. Technical report 5, DALI, July 2005. [bibtex-entry]

  3. Stef Graillat. Applications of fast and accurate summation in computational geometry. Research Report 03, Équipe de recherche DALI, Laboratoire LP2A, Université de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France, May 2005. [bibtex-entry]

  4. Stef Graillat. Structured Condition Number and Backward Error for Eigenvalue Problems. Research Report 01, Équipe de recherche DALI, Laboratoire LP2A, Université de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France, January 2005. [bibtex-entry]

  5. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Compensated Horner Scheme. Research Report 4, DALI Research Team, Université de Perpignan, France, July 2005. [bibtex-entry]

  6. C. Negre. Finite Field Arithmetic using Quasi-Normal Basis. Technical report 02, DALI, 2005. [bibtex-entry]

  7. Françoise Tisseur and Stef Graillat. Structured Condition Numbers and Backward Errors in Scalar Product Spaces. Numerical Analysis Report No. 473, Manchester Centre for Computational Mathematics, Manchester, England, September 2005. [bibtex-entry]


  1. Stef Graillat. Pseudozero set of multivariate polynomials. Note: Poster, 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005. [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