logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of year 2007

Thesis

  1. Nicolas Louvet. Algorithmes compensés en arithmétique flottante : précision, validation, performances. Doctorat en Informatique, Université de Perpignan Via Domitia, November 2007. [bibtex-entry]


Articles in journal or book chapters

  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]


Conference articles

  1. O. Bouissou and M. Martel. GRKLib: a Guaranteed Runge-Kutta Library. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. [bibtex-entry]


  2. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. In 10ième conférence francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pages 261-277, 2007. [bibtex-entry]


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


  4. Philippe Langlois and Nicolas Louvet. Faithful Horner Algorithm. In SIAM, editor, 6th International Congress on Industrial and Applied Mathematics, Zurich, Switzerland, pages 252, July 2007. Society for Industrial and Applied Mathematics. [bibtex-entry]


  5. Philippe Langlois and Nicolas Louvet. How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm?. In P. Kornerup and J.-M. Muller, editors, ARITH'18, 18th IEEE International Symposium on Computer Arithmetic, number ISBN 0-7695-2854-6, pages 141-149, June 2007. IEEE Computer Society. [bibtex-entry]


  6. Philippe Langlois and Nicolas Louvet. Operator Dependant Compensated Algorithms. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. Note: 11 pages. [bibtex-entry]


  7. M. Martel. . In Verification, Model Checking and Abstract Interpretation, VMCAI'05, number 3385 of Lecture Notes in Computer Science, pages 59-77, 2007. Springer-Verlag. [bibtex-entry]


  8. M. Martel. Semantics-Based Transformation of Arithmetic Expressions. In Static Analysis Symposium, SAS'07, number 4634 of Lecture Notes in Computer Science, pages 298-314, 2007. Springer-Verlag. [bibtex-entry]


  9. P.Giorgi, C. Negre, and T. Plantard. Subquadratic Binary Field Multiplier in Double Polynomial System. In SECRYPT'07, Barcelona, Spain, pages 229-236, 2007. [bibtex-entry]


  10. E. Petit, F. Bodin, and R. Dolbeau. An Hybrid Data Transfer Optimization for GPU. In Proceedings of the Compilers for Parallel Computers workshop (CPC2007), 2007. [bibtex-entry]


  11. P.D. Vouzis, M.G. Arnold, S. Collange, and M.V. Kothare. Monte Carlo Logarithmic Number System for Model Predictive Control. In Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on, pages 453-458, 2007. [doi:10.1109/FPL.2007.4380688] Keyword(s): Monte Carlo methods, field-programmable gate arrays, predictive control, FPGA, Monte Carlo, logarithmic number system, Xilinx Virtex-4, model predictive control, numerical anomalies. [bibtex-entry]


  12. Panagiotis D. Vouzis, Sylvain Collange, and Mark G. Arnold. Cotransformation Provides Area and Accuracy Improvement in an HDL Library for LNS Subtraction. In Euromicro Conference on Digital System Design, Los Alamitos, CA, USA, pages 85-93, 2007. IEEE Computer Society. [doi:http://doi.ieeecomputersociety.org/10.1109/DSD.2007.41] [bibtex-entry]


  13. P. Vouzis, S. Collange, and M. Arnold. LNS Subtraction Using Novel Cotransformation and/or Interpolation. In IEEE 18th International Conference Application-specific Systems, Architectures and Processors, pages 107-114, July 2007. [doi:10.1109/ASAP.2007.4429966] Keyword(s): digital arithmetic, hardware description languages, interpolationhardware description languages, logarithmic addition, logarithmic number system, logarithmic subtraction. [bibtex-entry]


Internal reports

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


  2. Marc Daumas and Pascal Giorgi. Proof checking for delayed finite field arithmetic using floating point operators. Technical report hal-00135090, HAL-CCSD, March 2007. [WWW] [bibtex-entry]


  3. Pascal Giorgi, Christophe Negre, and Thomas Plantard. Subquadratic Binary Field Multiplier in Double Polynomial System. Technical report, HAL-CCSD, April 2007. [WWW] [bibtex-entry]


  4. Arnault Ioualalen. Confidentialité dans les DisCSP. Rapport de stage de master 2, spécialité informatique, LIRMM, Université Montpellier 2, June 2007. [bibtex-entry]


  5. Philippe Langlois and Nicolas Louvet. More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms. Technical Report hal-00165020, DALI Research Team, HAL-CCSD, July 2007. Note: (IEEE Trans. Computers, in revision). [WWW] [bibtex-entry]


Miscellaneous

  1. O. Bouissou and M. Martel. Static Analysis of Embedded Programs with Continuous I/O, 2007. [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