% À faire: % * supprimer de toutes les références « to appear », % * compléter les références effectivement parues en 2007, avec tous % les détails réglementaires prouvant la parution effective, % * vérifier le fichier avec le script verif_bib. % Pour info: Cette modification n'aura pas d'effet sur l'affichage du % RA 2007. Le fichier consolidé arenaire2007.bib, une fois traduit en % XML, sera inclu dans la base de données Ralyx, ce qui permettra son % exploitation automatisée par la direction. % Cf http://www.inria.fr/interne/disc/publier/raweb.html @proceedings{KornerupMuller2007, editor={Peter Kornerup and Jean-Michel Muller}, title={ Proceedings of the 18th IEEE Symposium on Computer Arithmetic}, publisher={IEEE Conference Publishing Services}, year={2007}, month= jun } @article{BrisebarreMullera2007, author={Nicolas Brisebarre and Jean-Michel Muller}, title={Correct Rounding of Algebraic Functions}, journal={Theoretical Informatics and Applications}, volume={41}, year={2007}, pages={71--83}, month={jan-mars} } @article{ErcegovacMuller2007, author={Milos Ercegovac and Jean-Michel Muller}, title={Complex Square Root with Operand Prescaling}, journal={Journal of VLSI Signal Processing}, volume={49}, year={2007}, pages={19--30}, month= oct, number={1} } @article{BrisebarreMuller2007a, 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}, year={2008} } @article{BeuchatMiyoshiMullerOkamoto2007, 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}, NOTE = {to appear}, year={2008} } @article{NguyenStehle2007, author={Phong Nguyen and Damien Stehl\'e}, title={Low-dimensional lattice basis reduction revisited}, journal={ACM Transactions on Algorithms}, NOTE = {to appear}, year={2008} } @inproceedings{HanrotStehle07a, author= {Guillaume Hanrot and Damien Stehl{\'e}}, title={Improved Analysis of {K}annan's Shortest Lattice Vector Algorithm (Extended Abstract)}, booktitle={Proceedings of {C}rypto 2007}, publisher= {Springer-Verlag}, series = {LNCS}, year= 2007, volume ={4622}, pages= {170--186}} @misc{HanrotStehle07b, author= {Guillaume Hanrot and Damien Stehl{\'e}}, title={Worst-Case {H}ermite-{K}orkine-{Z}olotarev Reduced Lattice Bases}, note = {draft}, year= 2007} @misc{StVi07, author= {Damien Stehl{\'e} and Gilles Villard}, title={Perturbation analysis for the {QR} factorization of LLL reduced matrices}, note = {Gecko meeting, Sophia Antipolis, France, Nov. 2007, draft}, year= 2007} @inproceedings{HanrotLefevreStehleZimmermann07, author= {Guillaume Hanrot and Vincent Lef{\`e}vre and Damien Stehl{\'e} and Paul Zimmermann}, title = {Worst Cases of a Periodic Function for Large Arguments}, booktitle={Proceedings of the 18th {IEEE} {S}ymposium on {C}omputer {A}rithmetic {(ARITH'18)}}, publisher= {IEEE computer society}, year= 2007, pages = {133--140}, url = {http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4272859}} @inproceedings{ErcegovacMuller2007a, author={Milos Ercegovac and Jean-Michel Muller}, title={ A Hardware-Oriented Method for Evaluating ComplexPolynomials}, booktitle={Proceedings of 18th IEEE Conference on Application-Specific Systems, Architectures and Processors (ASAP'2007)}, year={2007}, month= jul, publisher={IEEE Conference Publishing Services} } @inproceedings{ErcegovacMuller2007b, author={Milos Ercegovac and Jean-Michel Muller}, title={Complex Multiply-Add and Other Related Operators}, booktitle={Proceedings of SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII}, year={2007}, month= aug } @inproceedings{KornerupLefevreMuller2007, author={Peter Kornerup and Vincent Lef{\`e}vre and Jean-Michel Muller}, title={Computing Integer Powers in Floating-Point Arithmetic}, booktitle={Proceedings of 41th Conference on signals, systems and computers}, year={2007}, month= nov, publisher={IEEE Conference Publishing Services} } @article{DetDin2007:JVLSISP, author = {J\'er\'emie Detrey and de Dinechin, Florent}, title = {A tool for unbiased comparison between logarithmic and floating-point arithmetic}, journal = {Journal of {VLSI} Signal Processing}, publisher = {Springer}, volume=49, number=1, pages={161--175}, DOI={10.1007/s11265-007-0048-7}, year = 2007 } @InProceedings{DetDinPuj2007:Arith, author = {J\'er\'emie Detrey and de Dinechin, Florent and Pujol, Xavier}, title = {Return of the hardware floating-point elementary function}, booktitle = {18th Symposium on Computer Arithmetic}, year = 2007, location = {Montpellier, France}, longPUBLISHER = {IEEE Computer Society Press}, PUBLISHER = {IEEE}, month = jun, pages = {161--168}, nourl = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2007-Arith.pdf} } @article{DetDin2007:JMM, author = {J\'er\'emie Detrey and de Dinechin, Florent}, title = {Parameterized floating-point logarithm and exponential functions for {FPGAs}}, journal = {Microprocessors and Microsystems, Special Issue on {FPGA}-based Reconfigurable Computing}, volume = 31, number = 8, pages = {537--545}, month = dec, publisher = {Elsevier}, year = 2007, doi = {10.1016/j.micpro.2006.02.008}, nourl = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2006-JMM.pdf} } @Article{DinLauMul2007:log, author = {de Dinechin, Florent and Lauter, Christoph Quirin and Muller, Jean-Michel}, title = {Fast and correctly rounded logarithms in double-precision}, journal = {Theoretical Informatics and Applications}, year = 2007, volume= 41, pages= {85-102}, publisher={{EDP} Sciences}, nourl = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2007-TIA.pdf} } @TechReport{Dinechin2007:fpfpga, author = {de Dinechin, Florent and Detrey, J\'er\'emie and Ionu{\c t} Trestian and Octavian Cre{\c t} and Radu Tudoran}, title = {When FPGAs are better at floating-point than microprocessors}, number = {ensl-00174627}, url = {http://prunel.ccsd.cnrs.fr/ensl-00174627}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, year = 2007 } @TechReport{DinLauMel2007:gappa, author = {de Dinechin, Florent and Lauter, Christoph Q. and Melquiond, Guillaume}, title = {Certifying floating-point implementations using Gappa}, number = {ensl-00200830, arXiv:0801.0523}, url = {http://prunel.ccsd.cnrs.fr/ensl-00200830/}, institution = {\'Ecole Normale Sup\'erieure de Lyon}, year = 2007 } @InProceedings{DetDin2007:FPL, author = {Detrey, J\'er\'emie and de Dinechin, Florent}, title = {Floating-point trigonometric functions for {FPGAs}}, booktitle = {Intl Conference on Field-Programmable Logic and Applications}, publisher = {IEEE}, pages = {29-34}, year = 2007, month = aug, location = {Amsterdam, Netherlands} } @phdthesis{Dinechin2007:hdr, author = {de Dinechin, Florent}, title = {Matériel et logiciel pour l'évaluation de fonctions numériques. Précision, performance et validation}, type = {Habilitation {\`a} diriger des recherches}, month = jun, school = {Université Claude Bernard - Lyon 1}, url={http://www.ens-lyon.fr/LIP/Pub/Rapports/HDR/HDR2007/HDR2007-01.pdf}, year = 2007 } @PhdThesis{Det:phd:2007, author = {Detrey, J\'er\'emie}, title = {Arithm\'etiques r\'eelles sur {FPGA} : virgule fixe, virgule flottante et syst\`eme logarithmique}, school = {\'Ecole Normale Sup\'erieure de Lyon}, address = {Lyon, France}, month = jan, year = 2007, url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2007/PhD2007-01.pdf} } @InProceedings{BBSTO:waifi2007, author = {J.-L. Beuchat and N. Brisebarre and M. Shirase and T. Takagi and E. Okamoto}, title = {A Coprocessor for the Final Exponentiation of the $\eta_{T}$ Pairing in Characteristic Three}, booktitle = {Proceedings of Waifi 2007}, pages = {25--39}, editor = {C. Carlet and B. Sunar}, number = {4547}, year = {2007}, series = {Lecture Notes in Computer Science}, publisher = {Springer}} @inproceedings{BBDO:ches2007, author = {J.-L. Beuchat and N. Brisebarre and J. Detrey and E. Okamoto}, title = {Arithmetic Operators for Pairing-Based Cryptography}, booktitle = {Cryptographic Hardware and Embedded Systems -- CHES 2007}, pages = {239--255}, year = {2007}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, editor = {P. Paillier and I. Verbauwhede}, number = 4727, note={best paper award}, } @Unpublished{BBDOST:ePrint2007-417, author = {Jean-Luc Beuchat and Nicolas Brisebarre and J\'er\'emie Detrey and Eiji Okamoto and Masaaki Shirase and Tsuyoshi Takagi}, title = {Algorithms and Arithmetic Operators for Computing the $\eta_T$ Pairing in Characteristic Three}, note = {Cryptology ePrint Archive, Report 2007/417}, year = {2007}} @inproceedings{BrisebarreHanrot2007, author = {Brisebarre, N. and Hanrot, G.}, title={Floating-point {L}$^2$ approximations to functions}, booktitle={Proceedings of the 18th {IEEE} {S}ymposium on {C}omputer {A}rithmetic {(ARITH'18)}}, publisher={IEEE Computer Society}, year= 2007, pages= {177--184}} @inproceedings{BrisebarreChevillard2007, author = {Nicolas Brisebarre and Sylvain Chevillard}, title={Efficient polynomial {L}$^{\infty}$-approximations}, booktitle={Proceedings of the 18th {IEEE} {S}ymposium on {C}omputer {A}rithmetic {(ARITH'18)}}, publisher={IEEE Computer Society}, year= 2007, pages= {169--176}} @TechReport{LauterLefevre2007RRRounding, AUTHOR = {Christoph Lauter and Vincent Lef{\`e}vre}, TITLE = {An efficient rounding boundary test for pow(x,y) in double precision}, ADDRESS = {Lyon, France}, INSTITUTION = {Laboratoire de l'Informatique du Parall{\'e}lisme}, NUMBER = {RR2007-36}, MONTH = aug, YEAR = {2007}, URL = {http://prunel.ccsd.cnrs.fr/ensl-00169409}, HAL = {ensl-00169409} } @InProceedings{ChevLaut2007QSIC, AUTHOR = {Sylvain Chevillard and Christoph Lauter}, LOCATION = {Portland, OR, USA}, BOOKTITLE = {Seventh International Conference on Quality Software ({QSIC} 2007)}, EDITOR = {A. Mathur and W. E. Wong and M. F. Lau}, PAGES = {153--160}, PUBLISHER = {{IEEE}}, TITLE = {A certified infinite norm for the implementation of elementary functions}, YEAR = {2007} } @article{BolMel08, author = {Sylvie Boldo and Guillaume Melquiond}, title = {Emulation of a FMA and correctly-rounded sums: proved algorithms using rounding to odd}, journal = {IEEE Transactions on Computers}, year = {2008}, note = {to appear} } @inproceedings{BoJeSc07a, author = "Alin Bostan and Claude-Pierre Jeannerod and {\'E}ric Schost", title = "Solving {T}oeplitz- and {V}andermonde-like linear systems with large displacement rank", month = aug, booktitle = {Proc. International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada}, publisher = {ACM Press}, pages = {33--40}, year = 2007 } @misc{BoJeSc07b, author= {Alin Bostan and Claude-Pierre Jeannerod and {\'E}ric Schost}, title={Solving structured linear systems with large displacement rank}, note = {submitted to Theoretical Computer Science}, year= 2007} @inproceedings{JeKnMoRe07a, author = {Claude-Pierre Jeannerod and Herv\'e Knochel and Christophe Monat and Guillaume Revy}, title = {Faster floating-point square root for integer processors}, booktitle = {IEEE Symposium on Industrial Embedded Systems (SIES'07)}, year = {2007}, isbn = {1-4244-0840-7} } @misc{JeKnMoRe07b, author = {Claude-Pierre Jeannerod and Herv\'e Knochel and Christophe Monat and Guillaume Revy}, title = {High-{ILP} emulation of {IEEE} floating-point square roots on integer {VLIW} processors}, note= {draft}, year= 2007} @inproceedings{EGGSV07, author = "W. Eberly and M. Giesbrecht and P. Giorgi and A. Storjohann and Gilles Villard", title = "Faster inversion and other black box matrix computation using efficient block projections", month = aug, booktitle = {Proc. International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada}, publisher = {ACM Press}, pages = {143--150}, year = 2007 } @inproceedings{Vil07-3, author = "Gilles Villard", title = "{Certification of the QR Factor R, and of Lattice Basis Reducedness}", month = aug, booktitle = {Proc. International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada}, publisher = {ACM Press}, pages = {361--368}, year = 2007 } @inproceedings{Vil07-2, author = "Gilles Villard", title = "{Some recent progress in symbolic linear algebra and related questions {\em (invited tutorial)}}", month = aug, booktitle = {Proc. International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada}, publisher = {ACM Press}, pages = {391--392}, year = 2007 } @InBook{Stehle07, author = {Damien Stehl\'e}, chapter = {Floating-point {LLL}: theoretical and practical aspects}, title = {{LLL+25}: 25th Anniversary of the LLL Algorithm Conference}, publisher = {Springer-Verlag}, note = {to appear}, year = {2008} } @inproceedings{AkhaviStehle07, author = {Ali Akhavi and Damien Stehl\'e}, title = {Speeding-up Lattice Reduction With Random Projections}, booktitle = {Proc. 8th Latin American Theoretical Informatics, Rio de Janeiro, Brazil}, note = {to appear}, year = {2008} } @techreport{Vil07-1, author = {Gilles Villard}, title = {{Certification of the QR Factor R, and of Lattice Basis Reducedness (extended version)}}, institution = {HAL}, number = {hal-00127059}, year = {2007}, url = {http://hal.archives-ouvertes.fr/hal-00127059/en} } @article{MicTisVey08:tsi, author = {R. Michard and Arnaud Tisserand and Nicolas {Veyrat-Charvillon}}, title = {Optimisation d'opérateurs arithmétiques matériels à base d'approximations polynomiales}, year = 2008, note = {to appear}, journal = {Technique et science informatiques ({TSI})} } @PhdThesis{Vey:phd:2007, author = {Nicolas {Veyrat-Charvillon}}, title = {Op\'erateurs arithm\'etiques mat\'eriels pour des applications sp\'ecifiques}, school = {\'Ecole Normale Sup\'erieure de Lyon}, address = {Lyon, France}, month = jun, year = 2007, url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2007/PhD2007-04.pdf} } @article{ACM1236468, author = {Laurent Fousse and Guillaume Hanrot and Vincent Lef{\`e}vre and Patrick P{\'e}lissier and Paul Zimmermann}, title = {MPFR: A multiple-precision binary floating-point library with correct rounding}, journal = {ACM Trans. Math. Softw.}, volume = {33}, number = {2}, year = {2007}, issn = {0098-3500}, doi = {10.1145/1236463.1236468}, publisher = {ACM}, address = {New York, NY, USA}, url = {http://portal.acm.org/citation.cfm?doid=1236463.1236468} } @inproceedings{LefSteZim2006a, author = {Vincent Lef{\`e}vre and Damien Stehl{\'e} and Paul Zimmermann}, title = {Worst Cases for the Exponential Function in the {IEEE} 754r decimal64 Format}, publisher= {Springer-Verlag}, booktitle={Proc. Reliable Implementation of Real Number Algorithms: Theory and Practice}, series = {Lecture Notes in Computer Science}, keywords = {floating-point arithmetic,decimal arithmetic,table maker's dilemma,correct rounding,elementary functions}, year = {2008}, note = {to appear} } @PROCEEDINGS{HHLR06, EDITOR = {P. Hertling and Ch. M. 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}, YEAR = {2008}, NOTE = {to appear} } @inproceedings{Revol07, author = {Nathalie Revol}, booktitle = {6th International Congress on Industrial and Applied Mathematics (ICIAM'07)}, title = {{Implementing Taylor models arithmetic with floating-point arithmetic}}, month = jul, year = {2007} } @inproceedings{CDMR07, author = {Ch\'aves Alonso, Francisco Jos\'e and Marc Daumas and Mu\~noz, C. and Nathalie Revol}, booktitle = {6th International Congress on Industrial and Applied Mathematics (ICIAM'07)}, title = {{Automatic strategies to evaluate formulas on Taylor models and generate proofs in PVS}}, month = jul, year = {2007} } @PhdThesis{Chaves:phd:2007, author = {Ch\'aves Alonso, Francisco Jos\'e}, title = {Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves}, school = {\'Ecole Normale Sup\'erieure de Lyon}, address = {Lyon, France}, month = sep, year = 2007, url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2007/PhD2007-05.pdf} } @article{MelPio07, author = {Guillaume Melquiond and Sylvain Pion}, title = {Formally certified floating-point filters for homogeneous geometric predicates}, journal = {Theoretical Informatics and Applications}, editor = {Vasco Brattka and Christiane Frougny and Norbert Mueller}, volume = {41}, number = {1}, year = {2007} } @Article{GlaImbJulTisVey06:jsa, author = {R. Glabb and L. Imbert and G. Jullien and Arnaud Tisserand and N. Veyrat-Charvillon}, title = {Multi-mode Operator for {SHA}-2 Hash Functions}, journal = {Journal of Systems Architecture, Special issue on "Embedded Cryptographic Hardware"}, volume = {53}, number = {2-3}, pages = {127--138}, year = 2007, doi = {10.1016/j.sysarc.2006.09.006}, }