logodali DALI

Publications and
Research Reports


BACK TO INDEX

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.
    @Article{ CM09,
    author = {Chapoutot, A. and Martel, M.},
    title = {Diff{\'e}rentiation automatique et formes de Taylor en analyse statique de programmes num{\'e}riques},
    journal = {Journal des Techniques et Sciences Informatiques (TSI)},
    year = {2009},
    key = {ACLN},
    pages = {503--531} 
    }
    


  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.
    @Article{ GrLL08,
    author = {Stef Graillat and Philippe Langlois and Nicolas Louvet},
    title = {Algorithms for accurate, validated and fast computations with polynomials},
    journal = {Japan Journal of Industrial and Applied Mathematics},
    year = 2009,
    key = {acl},
    volume = {Special issue on Verified Numerical Computation. 26},
    number = {2,3},
    pages = {191--214},
    note = {} 
    }
    


  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).
    @Article{ Mar09b,
    author = {Martel, M.},
    title = {Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics},
    journal = {Journal of Formal Methods in System Design},
    year = {2009},
    key = {ACL},
    note = {To appear (15 pages)} 
    }
    


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).
    @InProceedings{ AC09,
    author = {Chapoutot, A. and Martel, M.},
    title = {Abstract Simulation: a Static Analysis of Simulink Models},
    booktitle = {6th IEEE International Conference on Embedded Systems and Software, ICESS'09},
    publisher = {IEEE Press},
    key = {ACTI},
    note = {To appear (10 pages)},
    year = {2009} 
    }
    


  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]
    @InProceedings{ CoDaDaDe09,
    author = {Sylvain Collange and Yoginder S. Dandass and Marc Daumas and David Defour},
    title = {Using Graphics Processors for Parallelizing Hash-Based Data Carving},
    booktitle = {HICCS, Hawaii International Conference on System Sciences},
    year = {2009},
    pages = {1-10},
    bibsource = {DBLP, http://dblp.uni-trier.de},
    crossref = {DBLP:conf/hicss/2009},
    doi = {10.1109/HICSS.2009.494},
    ee = {http://dx.doi.org/10.1109/HICSS.2009.494},
    key = {ACTI},
    owner = {ddefour},
    timestamp = {2008.10.20} 
    }
    


  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.
    @InProceedings{ iccs09,
    author = {{C}ollange, {S}ylvain and {D}efour, {D}avid and {T}isserand, {A}rnaud},
    title = {{P}ower {C}onsuption of {GPU}s from a {S}oftware {P}erspective},
    booktitle = {{ICCS} 2009: {Compute.}{Discover.}{Innovate.}},
    year = {2009},
    volume = {5544},
    series = {Lecture Notes in Computer Science},
    pages = {922--931},
    publisher = {Springer},
    key = {ACTI},
    keywords = {{GPGPU}, {P}ower consuption, {CUDA}, {N}vidia},
    owner = {ddefour},
    timestamp = {2009.04.21},
    url = {http://hal.archives-ouvertes.fr/hal-00348672/en/} 
    }
    


  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).
    @InProceedings{ EMNAcisp09,
    author = {N. {El Mrabet} and C. Negre},
    title = {{Finite field multiplication combining AMNS and DFT approach for pairing cryptography}},
    booktitle = "Proceedings of Australasian Conference on Information Security and Privacy ({ACISPP 09})",
    year = "2009",
    note = "(to appear)",
    key = "acti" 
    }
    


  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.
    @InProceedings{ GoLP09,
    author = {Bernard Goossens and Philippe Langlois and David Parello},
    title = {Processor simulation: a new way for the performance analysis of numerical algorithms},
    key = {confint},
    booktitle = {Computer-assisted Proofs -- tools, methods and applications},
    year = 2009,
    editor = {B. M. Brown and E. Kaltofen and S. Oishi and S. M. Rump},
    series = {Dagstuhl Seminar 9471},
    month = nov 
    }
    


  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).
    @InProceedings{ HNArith09,
    author = "A. Hasan and C. Negre",
    title = {{Subquadratic Space Complexity Multiplier for a Class of Finite Fields Using Toeplitz Matrix Approach}},
    booktitle = {{{ARITH 19}, 19th IEEE Symposium on Computer Arithmetic}},
    note = "(to appear)",
    year = "2009",
    key = "acti" 
    }
    


  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).
    @InProceedings{ Lang09,
    author = {Philippe Langlois},
    title = {Performance analysis of some accurate and validated algorithms},
    booktitle = {International Workshop on Verified Numerical Computations and its Applications, Miyako, Japon},
    key = "confint",
    year = {2009},
    optpdf = "http://gala.univ-perp.fr/~langlois/slides/scan06_sl.pdf",
    month = mar,
    note = {(Invited speaker)} 
    }
    


  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.
    @InProceedings{ Mar09,
    author = {Martel, M.},
    title = {Program Transformation for Numerical Precision},
    booktitle = {ACM Workshop on Partial Evaluation and Program Manipulation, PEPM'09},
    publisher = {ACM Press},
    key = {ACTI},
    pages = {101--109},
    year = {2009} 
    }
    


  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.
    @InProceedings{ PaBoGo09,
    author = {David Parello and Mourad Bouache and Bernard Goossens},
    title = {Improving cycle-level modular simulation by vectorization},
    booktitle = {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)},
    year = {2009},
    volume = {},
    pages = {63--68},
    number = {},
    address = {Paphos Cyprus},
    doi = {},
    issn = {},
    publisher = {},
    key = {ACTI} 
    }
    


  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.
    @InProceedings{ PaBoGo09b,
    author = {David Parello and Mourad Bouache and Bernard Goossens},
    title = {Improving multi/many core cycle-level simulation},
    booktitle = {Workshop on Massively Multiprocessor and Multicore Computers},
    year = {2009},
    month = jan,
    volume = {},
    pages = {},
    number = {},
    address = {Rocquencourt},
    doi = {},
    issn = {},
    publisher = {},
    key = {COM} 
    }
    


  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).
    @InProceedings{ Zal09,
    author = {Yun Zhu, A. and Taha, W. and Cartwright, C. and Martel, M. and Siek, J.},
    title = {In Pursuit of Real Answers},
    booktitle = {6th IEEE International Conference on Embedded Systems and Software, ICESS'09},
    key = {ACTI},
    note = {To appear (10 pages)},
    publisher = {IEEE Press},
    year = {2009} 
    }
    


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.
    @TechReport{ CoDaDaDe08,
    author = {S. Collange and Y. Dandass and M. Daumas and D. Defour},
    title = {Using Graphics Processors for Parallelizing Hash-based Data Carving},
    institution = {HAL-CCSD},
    year = {2009},
    key = {AP},
    owner = {ddefour},
    timestamp = {2008.10.20} 
    }
    


  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.
    @TechReport{ CodePaRR08,
    author = {S. Collange and D. Defour and D. Parello},
    title = {Barra, a Modular Functional GPU Simulator for GPGPU},
    institution = {HAL-CCSD},
    year = {2009},
    number = {hal-00359342},
    month = {January},
    note = {Submitted to SAMOS'09},
    key = {AP},
    owner = {ddefour},
    timestamp = {2009.02.06} 
    }
    


  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.
    @TechReport{ Ioua09,
    author = {Arnault Ioualalen},
    title = {Compilation de programmes SCADE avec garantie de la pr{\'e}cision num{\'e}rique},
    institution = {DALI, Universit{\'e} de Perpignan Via Domitia},
    year = 2009,
    type = {Rapport de stage de master 2, sp{\'e}cialit{\'e} math{\'e}matiques},
    month = jul,
    key = ap 
    }
    



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