% Ce fichier doit contenir TOUTES les publications de l'année. % Un bouton RAWeb vous permet d'exporter de HAL-INRIA vos références % bibtex au bon format pour le raweb. Attention, ceci ne concerne que % les publications saisies via l'interface HAL-INRIA. % Un mot-clé spécial « to appear » a été imposé pour les articles acceptés % pour publication, mais qui ne paraîtront effectivement qu'au cours d'une % année ultérieure. Utiliser le champ bibtex NOTE: NOTE = {to appear}. % Merci donc d'éviter « \aparaitre » et autres variantes. % Les URL doivent se trouver dans le champ URL, pas ailleurs, et doivent % commencer par http://, ftp://, etc. % Exemples d'écriture des auteurs et éditeurs: % Jean Martin and Marie Dupont % {Jean-Pierre} Martin % Jean {Le Lievre} % Regardez le fichier log/auteurs-arenaire.html; il est facile de voir % les erreurs de frappe ou de syntaxe Bibtex. @InProceedings{CretDin2008:BioDevices, author = {Ionut Trestian and Octavian {Cre\c{t}} and Laura {Cre\c{t}} and Lucia {V\v{a}cariu} and Radu Tudoran and Florent {de Dinechin}}, title = {{FPGA}-based Computation of the Inductance of Coils Used for the Magnetic Stimulation of the Nervous System}, booktitle = {Biomedical Electronics and Devices}, volume=1, pages ={151-155}, mon=jan, x-international-audience={yes}, x-proceedings={yes}, year=2008 } @InProceedings{CretDin2008:BioMED, author = {Ionut Trestian and Octavian {Cre\c{t}} and Laura {Cre\c{t}} and Lucia {V\v{a}cariu} and Radu Tudoran and Florent {de Dinechin}}, title = {Computing the Inductance of Coils Used for Transcranial Magnetic Stimulation With {FPGA} Devices}, booktitle = {Biomedical Engineering (BioMED)}, publisher = {IASTED}, mon=feb, pages ={327-333}, x-international-audience={yes}, x-proceedings={yes}, year=2008 } @InProceedings{CretDin2008:SPL, author = {Octavian {Cre\c{t}} and Florent {de Dinechin} and Ionut Trestian and Radu Tudoran and Laura {Cre\c{t}} and Lucia {V\v{a}cariu} }, title = {{FPGA}-based Acceleration of the Computations Involved in Transcranial Magnetic Stimulation}, NOmonth = mar, pages = {43-48}, year = 2008, booktitle = {Southern Programmable Logic Conference}, x-international-audience={yes}, x-proceedings={yes}, publisher = {IEEE} } @article{DetDin2008:tsi, author = {Detrey, Jérémie and Florent {de Dinechin}}, title = {Fonctions \'el\'ementaires en virgule flottante pour les acc\'el\'erateurs reconfigurables}, journal = {Technique et Science Informatiques}, volume = 27, number = 6, pages={673--698}, publisher = {Lavoisier}, x-international-audience={no}, x-editorial-board={yes}, year = 2008 } @article{MoStVi08, author = {Ivan Morel and Damien Stehl\'e and Gilles Villard}, title = {Analyse num\'erique et r\'eduction des r\'eseaux}, note = {to appear}, journal = {Technique et Science Informatiques}, publisher = {Lavoisier}, x-international-audience={no}, x-editorial-board={yes} } @Article{CretDin2008:ROMJIST, author = {Octavian {Cre\c{t}} and Ionut Trestian and Radu Tudoran and Laura Darabant and Lucia {V\v{a}cariu} and Florent {de Dinechin}}, title = {Accelerating The Computation of The Physical Parameters Involved in Transcranial Magnetic Stimulation Using {FPGA} Devices.}, journal = {Romanian Journal of Information, Science and Technology}, year = 2008, volume= 10, number=4, x-international-audience={yes}, x-editorial-board={yes}, pages= {361-379} } @inproceedings{BrisDinMul2007:sympaaa, author = {Nicolas Brisebarre and Florent {de Dinechin} and Jean-Michel Muller}, title = {Multiplieurs et diviseurs constants en virgule flottante avec arrondi correct}, booktitle = {RenPar'18, SympA'2008, CFSE'6}, x-international-audience={no}, x-proceedings={yes}, year = {2008} } @inproceedings{LauterDinechin2008:RNC, author = {Christoph Lauter and Florent {de Dinechin}}, title = {Optimising polynomials for floating-point implementation}, booktitle = {RNC 8 Proceedings, 8th Conference on Real Numbers and Computers}, publisher = {J.~D.~Bruguera and M.~Daumas}, year = {2008}, month = {July}, pages={7--16}, editor={J. D. Bruguera and M. Daumas}, x-international-audience={yes}, x-proceedings={yes}, } @inproceedings{BrisebarreMullerDinechin2008:ASAP, author = {Nicolas Brisebarre and Florent {de Dinechin} and Jean-Michel Muller}, title = {Integer and Floating-Point Constant Multipliers for {FPGA}s}, booktitle = {Application-specific Systems, Architectures and Processors}, pages = {239--244}, PUBLISHER = {IEEE}, x-international-audience={yes}, x-proceedings={yes}, year = {2008} } @inproceedings{BeuchatBrisebarreDetreyOkamotoRodriguezHenriquez2008:Pairing, author = {Jean-Luc Beuchat and Nicolas Brisebarre and Jérémie Detrey and Eiji Okamoto and Francisco Rodríguez-Henríquez}, title = {A Comparison between Hardware Accelerators for the Modified Tate Pairing over $\mathbb{F}_{2^m}$ and $\mathbb{F}_{3^m}$}, booktitle = {Second International Conference on Pairing-based Cryptography (Pairing'08)}, volume = 5209, pages = {297--315}, PUBLISHER = {Springer Verlag}, x-international-audience={yes}, x-proceedings={yes}, year = {2008} } @inproceedings{BrisebarreChevillardErcegovacETC2008:ASAP, author = {Nicolas Brisebarre and Sylvain Chevillard and Milos Ercegovac and Jean-Michel Muller and Serge Torres}, title = {An efficient Method for Evaluating Polynomial and Rational Function Approximations}, booktitle = {Application-specific Systems, Architectures and Processors}, pages = {245--250}, PUBLISHER = {IEEE}, x-international-audience={yes}, x-proceedings={yes}, year = {2008} } @inproceedings{DinechinPascaCret2008:FPT, author = {Florent {de Dinechin} and Bogdan Pasca and Octavian {Cre\c{t}} and Radu Tudoran}, title = {An {FPGA}-specific Approach to Floating-Point Accumulation and Sum-of-Products}, booktitle = {Field-Programmable Technologies}, pages={33--40}, PUBLISHER = {IEEE}, x-international-audience={yes}, x-proceedings={yes}, year = {2008} } @InBook{DinErcMulRev2008:survey, author = {Florent {de Dinechin} and Milos Ercegovac and Jean-Michel Muller and Nathalie Revol}, title = {Encyclopedia of Computer Science and Engineering}, chapter = {Digital Arithmetic}, publisher = {Wiley}, year = {2008} } @PhDThesis{Lauter-thesis, author = {Christoph Lauter}, title = {Arrondi correct de fonctions mathématiques - fonctions univariées et bivariées, certification et automatisation}, type = {Th\`{e}se de doctorat}, school = {\'Ecole Normale Sup\'erieure de Lyon}, year = 2008, month = oct } @article{BrisebarreMuller2008, author={Nicolas Brisebarre and Jean-Michel Muller}, title={Correctly rounded multiplication by arbitrary precision constants}, journal={IEEE Transactions on Computers}, volume={57}, number={2}, month=feb, pages={165--174}, x-international-audience={yes}, x-editorial-board={yes}, year={2008} } @article{BeuchatBrisebarreDetreyOkamotoShiraseTakagi2008, author={Jean-Luc Beuchat and Nicolas Brisebarre and Jérémie Detrey and Eiji Okamoto and Masaaki Shirase and Tsuyoshi Takagi}, title={Algorithms and Arithmetic Operators for Computing the $\eta_T$ Pairing in Characteristic Three}, journal={IEEE Transactions on Computers}, volume={57}, number={11}, month=nov, pages={1454-1468}, x-international-audience={yes}, x-editorial-board={yes}, year={2008} } @article{BeuchatMiyoshiMullerOkamoto2008, author={Jean-Luc Beuchat and Takanori Miyoshi and Jean-Michel Muller and Eiji Okamoto}, title={ Horner's Rule-Based Multiplication over GF(p) and GF($p^n$): A Survey}, journal={International Journal of Electronics}, volume = {95}, number = {7}, pages = {669--685}, x-international-audience={yes}, x-editorial-board={yes}, year={2008} } @article{ErcegovacMuller2008, author = {Milos Ercegovac and Jean-Michel Muller}, title = {An Efficient Method for Evaluating Complex Polynomials}, journal = {Journal of VLSI Signal Processing Systems}, note = {to appear}, x-international-audience={yes}, x-editorial-board={yes} } @article{BeuchatMuller2008, author={Jean-Luc Beuchat and Jean-Michel Muller}, title ={Automatic Generation of Modular Multipliers for FPGA Applications}, journal={IEEE Transactions on Computers}, volume={57}, number={12}, month=dec, x-international-audience={yes}, x-editorial-board={yes}, year={2008} } @article{Kornerup2008, author = {Peter Kornerup and Christoph Lauter and Vincent Lefèvre and Nicolas Louvet and Jean-Michel Muller}, title = {Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic}, journal = {{ACM} Transactions on Mathematical Software}, note = {to appear}, x-international-audience={yes}, x-editorial-board={yes} } @InProceedings{ LaLo08, author = {{Ph}ilippe Langlois and Nicolas Louvet}, title = {Compensated {H}orner algorithm in {K} times the working precision}, booktitle = {RNC 8 Proceedings, 8th Conference on Real Numbers and Computers}, publisher = {J.~D.~Bruguera and M.~Daumas}, year = {2008}, month = {July}, pages = {157--166}, x-international-audience={yes}, x-proceedings={yes}, } @InProceedings{ ChevillardRevol08, author = {Sylvain Chevillard and Nathalie Revol}, title = {Computation of the error function erf in arbitrary precision with correct rounding}, pages = {27--36}, booktitle = {RNC 8 Proceedings, 8th Conference on Real Numbers and Computers}, publisher = {J.~D.~Bruguera and M.~Daumas}, year = {2008}, month = {July}, x-international-audience={yes}, x-proceedings={yes}, } @Article{ GrLL:08, author = {Stef Graillat and {Ph}ilippe Langlois and Nicolas Louvet}, title = {Algorithms for accurate, validated and fast computations with polynomials}, journal = {Japan Journal of Industrial and Applied Mathematics}, number = {}, pages = {}, note = {to appear}, x-international-audience={yes}, x-editorial-board={yes}, } @TechReport{MKLL08, author = {Jean-Michel Muller and Peter Kornerup and Vincent Lef\`evre and Nicolas Louvet}, title = {On the computation of correctly-rounded sums}, year = {2008}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, number = {ensl-00331519}, url = {http://prunel.ccsd.cnrs.fr/ensl-00331519/}, } @InProceedings{LaLo:08b, author = {Philippe Langlois and Nicolas Louvet}, title = {Accurate solution of triangular linear system}, booktitle = {SCAN 2008 - 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics}, address = {El Paso, Texas}, year = {2008}, x-international-audience={yes}, x-proceedings={no} } @InProceedings{JLRV:08a, author = {Claude-Pierre Jeannerod and Nicolas Louvet and Nathalie Revol and Gilles Villard}, title = {On the Computation of some Componentwise Condition Numbers}, booktitle = {SNSC'08 - 4th International Conference on Symbolic and Numerical Scientific Computing}, address = {Hagenberg, Austria}, year = {2008}, x-international-audience={yes}, x-proceedings={no} } @InProceedings{JLRV:08b, author = {Claude-Pierre Jeannerod and Nicolas Louvet and Nathalie Revol and Gilles Villard}, title = {Computing Condition Numbers with Automatic Differentiation}, booktitle = {SCAN 2008 - 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics}, address = {El Paso, Texas}, year = {2008}, x-international-audience={yes}, x-proceedings={no} } @TechReport{HanrotStehle08, author = {Guillaume Hanrot and Damien Stehl{\'e}}, title = {Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases}, institution = {Maths Arxiv}, year = {2008}, url = {http://arxiv.org/abs/0801.3331} } @TechReport{DinechinPascaKlein2008, author = {Florent {de Dinechin} and Cristian Klein and Bogdan Pasca}, title = {Generating high-performance arithmetic operators for FPGAs}, year = {2008}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, number = {ensl-00321209}, url = {http://prunel.ccsd.cnrs.fr/ensl-00321209/}, } @TechReport{ChevillardJoldesLauter2008, author = {Sylvain Chevillard and Mioara Joldes and Christoph Lauter}, title = {Certified and fast computation of supremum norms of approximation errors}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, year = {2008}, number = {ensl-00334545}, url = {http://prunel.ccsd.cnrs.fr/ensl-00334545} } @inproceedings{LEFEVRE:2008:INRIA-00068731:2, TITLE = {Worst Cases for the Exponential Function in the {IEEE} 754r decimal64 Format}, X-INTERNATIONAL-AUDIENCE = {yes}, AUTHOR = {Lefèvre, Vincent AND Stehlé, Damien AND Zimmermann, Paul}, BOOKTITLE = {Reliable Implementation of Real Number Algorithms: Theory and Practice}, SERIES = {Lecture Notes in Computer Science}, PUBLISHER = {Springer}, PAGES = {114--126}, ADDRESS = {Dagstuhl, Germany}, VOLUME = {5045}, YEAR = {2008}, URL = {http://hal.inria.fr/inria-00068731/en/}, X-PROCEEDINGS = {yes}, } @InProceedings{AkhaviStehle08, author = {Ali Akhavi and Damien Stehl\'e}, title = {Speeding-up Lattice Reduction With Random Projections}, booktitle = {Proc. 8th Latin American Theoretical Informatics {(LATIN'08)}}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume ={4957}, pages= {293--305}, year = {2008}, x-international-audience={yes}, x-proceedings={yes} } @InProceedings{PujolStehle08, author = {Xavier Pujol and Damien Stehl{\'e}}, title = {Rigorous and Efficient Short Lattice Vectors Enumeration}, booktitle = {Proceedings of {ASIACRYPT'08}}, year = {2008}, pages = {390-405}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5350}, x-international-audience={yes}, x-proceedings={yes} } @misc{Morel08, author = {Ivan Morel}, title = {From an {LLL}-reduced basis to another}, year = {2008}, note = {poster for the {ISSAC'08} conference} } @Article{BoJeSc08, author = {Alin Bostan and Claude-Pierre Jeannerod and {\'E}ric Schost}, title = {Solving structured linear systems with large displacement rank}, journal = {Theoretical Computer Science}, volume = {407}, number = {1:3}, month = {November}, year= {2008}, pages = {155--181}, x-international-audience={yes}, x-editorial-board={yes}, } @TechReport{JeKnMoRe08, author = {Claude-Pierre Jeannerod and Herv\'e Knochel and Christophe Monat and Guillaume Revy}, title = {Computing floating-point square roots via bivariate polynomial evaluation}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, year = {2008}, number = {ensl-00335792}, url = {http://prunel.ccsd.cnrs.fr/ensl-00335792} } @TechReport{JeKnMoReVi08, author = {Claude-Pierre Jeannerod and Herv\'e Knochel and Christophe Monat and Guillaume Revy and Gilles Villard}, title = {A new binary floating-point division algorithm and its software implementation on the {ST231} processor}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, year = {2008}, number = {ensl-00335892}, url = {http://prunel.ccsd.cnrs.fr/ensl-00335892} } @Proceedings{HerHofLutRev08, editor = {P. Hertling and C. Hoffmann and W. Luther and Nathalie Revol}, series = {Lecture Notes in Computer Science}, title = {Special issue on Reliable Implementation of Real Number Algorithms: Theory and Practice}, volume = {5045}, year = {2008} } @InProceedings{BajLanMicMorRev08, author = {Jean-Claude Bajard and Philippe Langlois and Dominique Michelucci and G\'eraldine Morin and Nathalie Revol}, title = {Towards Guaranteed Geometric Computations with Approximate Arithmetics}, pages = {12 pages}, booktitle = {Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, part of the SPIE Optics \& Photonics 2008 Symposium}, volume = {7074}, year = {2008}, month = {August}, x-international-audience={yes}, x-proceedings={yes} } @InProceedings{KeaPryRev08, author = {{R. Baker} Kearfott and {John D.} Pryce and Nathalie Revol}, title = {Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021}, booktitle = {Dagstuhl Seminar on Numerical Validation in Current Hardware Architectures}, series = {Lecture Notes in Computer Science}, publisher = {Annie Cuyt and Walter Kr\"amer and Wolfram Luther and Peter Markstein}, year = {2008}, x-international-audience={yes}, x-proceedings={yes}, note = {to appear} } @InProceedings{RevolECMI08, author = {Nathalie Revol}, title = {Introduction to Interval Analysis and to some Interval-Based Software Systems and Libraries}, booktitle = {ECMI 2008, The European Consortium For Mathematics In Industry}, year = {2008}, month = {July}, x-international-audience={yes}, x-proceedings={no} } @InProceedings{RevolSWIM08, author = {Nathalie Revol}, title = {Survey of Proposals for the Standardization of Interval Arithmetic}, booktitle = {SWIM 08: Small Workshop on Interval Methods}, year = {2008}, month = {June}, x-international-audience={yes}, x-proceedings={no} } @InProceedings{ReNg08, author = {Nathalie Revol and Hong-Diep Nguyen}, title = {Solving and Certifying the Solution of a Linear System}, booktitle = {SCAN 2008 - 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics}, address = {El Paso, Texas}, year = {2008}, x-international-audience={yes}, x-proceedings={no} } @InProceedings{RevolTMW08, author = {Nathalie Revol}, title = {Automatic Adaptation of the Computing Precision}, booktitle = {V Taylor Models Workshop}, year = {2008}, month = {May}, x-international-audience={yes}, x-proceedings={no} }