logodali DALI

Publications and
Research Reports


Publications of year 2009

Articles in journal or book chapters

  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]

Conference articles

  1. A. Chapoutot and M. Martel. Abstract Simulation: a Static Analysis of Simulink Models. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [bibtex-entry]

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

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

  4. N. El Mrabet and C. Negre. Finite field multiplication combining AMNS and DFT approach for pairing cryptography. In Proceedings of Australasian Conference on Information Security and Privacy (ACISPP 09), 2009. Note: (to appear). [bibtex-entry]

  5. Bernard Goossens, Philippe Langlois, and David Parello. Processor simulation: a new way for the performance analysis of numerical algorithms. In B. M. Brown, E. Kaltofen, S. Oishi, and S. M. Rump, editors, Computer-assisted Proofs -- tools, methods and applications, Dagstuhl Seminar 9471, November 2009. [bibtex-entry]

  6. A. Hasan and C. Negre. Subquadratic Space Complexity Multiplier for a Class of Finite Fields Using Toeplitz Matrix Approach. In ARITH 19, 19th IEEE Symposium on Computer Arithmetic, 2009. Note: (to appear). [bibtex-entry]

  7. Philippe Langlois. Performance analysis of some accurate and validated algorithms. In International Workshop on Verified Numerical Computations and its Applications, Miyako, Japon, March 2009. Note: (Invited speaker). [bibtex-entry]

  8. M. Martel. Program Transformation for Numerical Precision. In ACM Workshop on Partial Evaluation and Program Manipulation, PEPM'09, pages 101-109, 2009. ACM Press. [bibtex-entry]

  9. David Parello, Mourad Bouache, and Bernard Goossens. Improving cycle-level modular simulation by vectorization. In Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'09), Held in conjunction with the 4th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC), Paphos Cyprus, pages 63-68, 2009. [bibtex-entry]

  10. David Parello, Mourad Bouache, and Bernard Goossens. Improving multi/many core cycle-level simulation. In Workshop on Massively Multiprocessor and Multicore Computers, Rocquencourt, January 2009. [bibtex-entry]

  11. A. Yun Zhu, W. Taha, C. Cartwright, M. Martel, and J. Siek. In Pursuit of Real Answers. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [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. Arnault Ioualalen. Compilation de programmes SCADE avec garantie de la précision numérique. Rapport de stage de master 2, spécialité mathématiques, DALI, Université de Perpignan Via Domitia, July 2009. [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