logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of year 2008

Articles in journal or book chapters

  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]
    @Article{ CoDaDe08,
    author = {S. Collange and M. Daumas and D. Defour},
    title = {Etat de l'int\'egration de la virgule flottante dans les processeurs graphiques},
    journal = {Revue des sciences et technologies de l'information},
    year = {2008},
    volume = {27/6},
    pages = {719--733},
    doi = {doi:10.3166/tsi.27.719-733},
    key = {ACLN},
    owner = {ddefour},
    timestamp = {2008.10.20} 
    }
    


  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.
    @Article{ CoDaDeCPC07,
    author = {Sylvain Collange and Marc Daumas and David Defour},
    title = {Line-by-line spectroscopic simulations on graphics processing units},
    journal = {Computer Physics Communications},
    year = {2008},
    volume = {178},
    pages = {135--143},
    month = {January},
    doi = {doi:10.1016/j.cpc.2007.08.013},
    key = {ACL},
    keywords = {Radiative heat transfer; Line-by-line; Simulation; Graphics processing unit; GPU; Parallelism; Data parallel},
    owner = {David Defour},
    timestamp = {2008.01.08},
    url = {http://www.sciencedirect.com/science/article/B6TJ5-4PNFV97-1/2/18e6801e18b03316a8df5b664f092828} 
    
    
    }
    


  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]
    @Article{ 1391992,
    author = {Dumas,, Jean-Guillaume and Giorgi,, Pascal and Pernet,, Cl\'{e}ment},
    title = {Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages},
    journal = {ACM Trans. Math. Softw.},
    volume = {35},
    number = {3},
    year = {2008},
    issn = {0098-3500},
    pages = {1--42},
    doi = {http://doi.acm.org/10.1145/1391989.1391992},
    publisher = {ACM},
    address = {New York, NY, USA},
    key = {ACL} 
    }
    


Conference articles

  1. Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, and Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. In Proc. SPIE, volume 7074, pages 1-10, August 2008.
    @InProceedings{ BaLM08,
    author = {Jean-Claude Bajard and Philippe Langlois and Dominique Michelucci and G{\'e}raldine Morin and Nathalie Revol},
    title = {Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics},
    booktitle = {Proc. SPIE},
    year = {2008},
    volume = {7074},
    number = {70740M},
    month = aug,
    pages = "1--10",
    key = "acti" 
    }
    


  2. Olivier Bouissou and Matthieu Martel. A Hybrid Denotational Semantics for Hybrid Systems. In 17th European Symposium on Programming (ESOP), number 4960 of Lecture Notes in Computer Science, pages 63-77, 2008.
    @InProceedings{ BM08a,
    author = {Bouissou, Olivier and Martel, Matthieu},
    title = {A Hybrid Denotational Semantics for Hybrid Systems},
    booktitle = {17th European Symposium on Programming (ESOP)},
    number = {4960},
    pages = {63--77},
    key = {ACTI},
    series = {Lecture Notes in Computer Science},
    year = {2008} 
    }
    


  3. Olivier Bouissou and Matthieu Martel. Abstract Interpretation of the Physical Inputs of Embedded Programs. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 9th International Conference, number 4905 of Lecture Notes in Computer Science, pages 37-51, 2008.
    @InProceedings{ BM08b,
    author = {Bouissou, Olivier and Martel, Matthieu},
    title = {Abstract Interpretation of the Physical Inputs of Embedded Programs},
    booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI), 9th International Conference},
    number = {4905},
    pages = {37--51},
    key = {ACTI},
    series = {Lecture Notes in Computer Science},
    year = {2008} 
    }
    


  4. Alexandre Chapoutot and Matthieu Martel. Static Analysis of Simulink Programs. In SLA++P'08, Model-driven High-level Programming of embedded Systems, 2008.
    @InProceedings{ CM08,
    author = {Chapoutot, Alexandre and Martel, Matthieu},
    title = {Static Analysis of Simulink Programs},
    booktitle = {SLA++P'08, Model-driven High-level Programming of embedded Systems},
    key = {COM},
    year = {2008} 
    }
    


  5. Sylvain Collange, Marc Daumas, David Defour, and Regis Olivès. Fonctions élémentaires sur GPU exploitant la localité de valeurs. In SympA, pages 1-11, February 2008.
    @InProceedings{ CoDaDeOlSYMPA08,
    author = {Sylvain Collange and Marc Daumas and David Defour and Regis Oliv{\`e}s},
    title = {Fonctions {\'e}l{\'e}mentaires sur GPU exploitant la localit{\'e} de valeurs},
    booktitle = {SympA},
    year = {2008},
    pages = {1-11},
    month = {February},
    key = {ACTN},
    owner = {David Defour},
    timestamp = {2008.01.08} 
    }
    


  6. Sylvain Collange, Jorge Flóres, and David Defour. A GPU interval library based on Boost interval. In RNC9, Real Numbers and Computers, pages 61-72, Jully 2008.
    @InProceedings{ CoFlDeRNC08,
    author = {Sylvain Collange and Jorge Fl{\'o}res and David Defour},
    title = {A GPU interval library based on Boost interval},
    booktitle = {{RNC9}, Real Numbers and Computers},
    year = {2008},
    pages = {61-72},
    month = {Jully},
    key = {ACTI},
    owner = {David Defour},
    timestamp = {2008.05.02} 
    }
    


  7. A. Hasan and C. Negre. Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation. In Proceedings of WAIFI 2008, Sienna, Italy, volume 5130 of LNCS, pages 88-102, 2008.
    @InProceedings{ WAIFI08,
    author = "A. Hasan and C. Negre",
    title = {{Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation}},
    booktitle = "Proceedings of WAIFI 2008, Sienna, Italy",
    series = "{LNCS}",
    pages = "88--102",
    volume = "5130",
    year = "2008",
    key = "acti" 
    }
    


  8. K.-H. Kim and C. Negre. Point Multiplication on Supersingular Elliptic Curves Defined over Fields of Characteristic 2 and 3. In SECRYPT'08, Porto, Portugal, pages 373-376, 2008.
    @InProceedings{ KNSecrypt08,
    author = {K.-H. Kim and C. Negre},
    title = {Point Multiplication on Supersingular Elliptic Curves Defined over Fields of Characteristic 2 and 3},
    booktitle = {{SECRYPT'08}, Porto, Portugal},
    isbn = {978-989-8111-59-3},
    pages = "373--376",
    year = {2008},
    key = "acti" 
    }
    


  9. Philippe Langlois and Nicolas Louvet. Accurate solution of triangular linear system. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA, September 2008.
    @InProceedings{ LaLo08b,
    author = {Philippe Langlois and Nicolas Louvet},
    title = {Accurate solution of triangular linear system},
    booktitle = {13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA},
    key = "com",
    year = {2008},
    month = sep,
    pdf = "http://gala.univ-perp.fr/~langlois/slides/scan08_sl.pdf" 
    }
    


  10. Philippe Langlois and Nicolas Louvet. Compensated Horner algorithm in K times the working precision. In J.D. Brugera and M. Daumas, editors, RNC-8, Real Numbers and Computer Conference, Santiago de Compostela, Spain, pages 157-166, July 2008.
    @InProceedings{ LaLo08,
    author = "Philippe Langlois and Nicolas Louvet",
    title = "Compensated {Horner} algorithm in {K} times the working precision",
    editor = "J.D. Brugera and M. Daumas",
    booktitle = "RNC-8, Real Numbers and Computer Conference, Santiago de Compostela, Spain",
    publisher = {},
    pages = "157--166",
    month = jul,
    year = "2008",
    note = {},
    key = "acti" 
    }
    


  11. Matthieu Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. In International Workshop on Numerical Abstractions for Software Verification, 2008. Note: (Invited paper).
    @InProceedings{ Mar08,
    author = {Martel, Matthieu},
    title = {Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics},
    booktitle = {International Workshop on Numerical Abstractions for Software Verification},
    note = {(Invited paper)},
    key = {INV},
    year = {2008} 
    }
    


  12. C. Negre and T. Plantard. Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation. In Proceedings of Australasian Conference on Information Security and Privacy (ACISPP 08), volume 5107 of LNCS, pages 463-477, 2008.
    @InProceedings{ bap-lagrange-ACISP08,
    author = "C. Negre and T. Plantard",
    title = "Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation",
    booktitle = "Proceedings of Australasian Conference on Information Security and Privacy ({ACISPP 08})",
    year = "2008",
    series = "{LNCS}",
    volume = "5107",
    pages = "463--477",
    key = "acti" 
    }
    


  13. Y.Li and C. Negre. An efficient multiplication algorithm using binomial residue representation. In SECRYPT'08, Porto, Portugal, pages 319-324, 2008.
    @InProceedings{ LNsecrypt08,
    author = {Y.Li and C. Negre},
    title = {An efficient multiplication algorithm using binomial residue representation},
    booktitle = {{SECRYPT'08}, Porto, Portugal},
    isbn = {978-989-8111-59-3},
    pages = "319--324",
    year = {2008},
    key = "acti" 
    }
    


Miscellaneous

  1. Philippe Langlois. Compensated Algorithms and Validated Bounds. SWIM 08, Montpellier, June 2008.
    @Misc{ La08,
    key = "com",
    author = {Philippe Langlois},
    title = {Compensated Algorithms and Validated Bounds},
    howpublished = {SWIM 08, Montpellier},
    month = jun,
    year = {2008},
    optnote = {},
    optannote = {} 
    }
    



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