exp.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob temp/exp.bib -c 'keywords : "exp"' metalibm.bib}}
@article{Fukushima2009,
  year = {2009},
  issn = {0923-2958},
  journal = {Celestial Mechanics and Dynamical Astronomy},
  volume = {105},
  number = {4},
  doi = {10.1007/s10569-009-9228-z},
  title = {Fast computation of complete elliptic integrals and {Jacobian} elliptic functions},
  url = {http://dx.doi.org/10.1007/s10569-009-9228-z},
  publisher = {Springer Netherlands},
  keywords = {complete elliptic integrals, Jacobian elliptic functions, nome expansion, Innes’ method, Encke’s method, special functions},
  author = {Fukushima, Toshio},
  pages = {305-328},
  language = {English}
}
@inproceedings{harrison97-exp,
  author = {John Harrison},
  title = {Floating Point Verification in {HOL} Light: The Exponential Function},
  booktitle = {Algebraic Methodology and Software Technology},
  pages = {246-260},
  year = {1997},
  url = {citeseer.ist.psu.edu/harrison97floating.html},
  keywords = {formal proof, exp}
}
@article{GalBachelis91,
  author = {Gal, Schmuel and Bachelis, Boris},
  journal = {ACM Transactions on Mathematical Software},
  number = 1,
  pages = {26-45},
  title = {An Accurate Elementary Mathematical  Library for the {IEEE} Floating Point Standard},
  volume = 17,
  month = mar,
  year = 1991,
  keywords = {algorithms, exp, log, sin, cos, tan, cotan, atan, atan2, sinh, cosh}
}
@inproceedings{DauMor2K,
  author = {Marc Daumas and Claire Moreau-Finot},
  address = {Dagstuhl, Germany},
  booktitle = {Real Numbers and Computers},
  pages = {61-74},
  title = {Exponential: implementation trade-offs for hundred bit precision},
  year = {2000},
  keywords = {exp, multiple precision}
}
@book{Kor93,
  author = {I. Koren},
  publisher = {Prentice-Hall},
  title = {Computer arithmetic algorithms},
  year = {1993},
  keywords = {textbook, accuracy control,addition,cordic,division,elementary
        functions,exponential,floating-point
            arithmetic,logarithm,multiplication,number
            systems,redundant number systems,residue number
            systems,shift-and-add algorithms,square root,survey
            on computer arithmetic,trigonometric functions}
}
@article{Tang89,
  author = {Tang, Ping Tak Peter},
  month = jun,
  year = 1989,
  title = {Table-Driven Implementation of the Exponential Function in {IEEE}
        Floating-Point Arithmetic},
  journal = {ACM Transactions on Mathematical Software},
  volume = 15,
  number = 2,
  pages = {144--157},
  key = {Tan89},
  keywords = {exp}
}
@inproceedings{WongGotoICSC94,
  author = {Wong, W. F. and Goto, E.},
  title = {Fast Evaluation of the Elementary Functions in Double Precision},
  booktitle = {Twenty-Seventh Annual Hawaii International Conference on System Sciences },
  pages = {349--358},
  year = 1994,
  keywords = {Add-Table Lookup-Add-Multiply, ATA-M, hardware, division, square root, exp, sin, cos, log, atan, sinh, cosh}
}
@article{WG94,
  author = {Wong, W. F. and Goto, E.},
  month = mar,
  year = 1994,
  title = {Fast Hardware-Based Algorithms for Elementary Function Computations
        Using Rectangular Multipliers},
  journal = {IEEE Transactions on Computers},
  volume = 43,
  number = 3,
  pages = {278--294},
  keywords = {hardware, division, log, sqrt, exp, atan, atan2, sin, cos}
}
@article{WG95,
  author = {Wong, W. F. and Goto, E.},
  journal = {IEEE Transactions on Computers},
  month = mar,
  number = {3},
  pages = {453--457},
  title = {Fast Evaluation of the Elementary Functions in Single Precision},
  volume = {44},
  year = 1995,
  keywords = {Add-Table Lookup-Add, ATA, hardware, division, sqrt, log, exp, sin, cos, atan}
}
@article{Ziv91,
  author = {A.~Ziv},
  month = sep,
  year = 1991,
  title = {Fast evaluation of elementary mathematical functions with correctly
        rounded last bit},
  journal = {ACM Transactions on Mathematical Software},
  volume = 17,
  number = 3,
  pages = {410--423},
  keywords = {correct rounding, exp}
}
@article{Harris2004:TC,
  author = {Harris, David},
  journal = {Transactions on Computers},
  title = {An exponentiation unit for an {OpenGL} lighting engine},
  year = 2004,
  month = mar,
  volume = 53,
  number = 3,
  publisher = {IEEE},
  pages = { 251-258},
  keywords = { IEEE single-precision floating-point format; OpenGL hardware acceleration; OpenGL lighting engine; bipartite table; computer arithmetic; exponentiation unit; floating-point color component; geometry pipeline lighting stage; inverse log table; logarithm lookup table; table complexity; computational complexity; floating point arithmetic; pipeline arithmetic; software standards; table lookup;},
  doi = {10.1109/TC.2004.1261833},
  issn = {0018-9340}
}
@article{DinechinEtAl-2013-power,
  author = {de Dinechin, Florent and Pedro Echeverr\'{i}a  and L\'opez-Vallejo, Marisa and  Bogdan Pasca},
  title = {Floating-Point Exponentiation Units for Reconfigurable Computing},
  journal = {ACM Transactions on Reconfigurable Technology and Systems},
  volume = 6,
  number = 1,
  year = 2013,
  publisher = {ACM},
  url = {http://dl.acm.org/citation.cfm?id=2457447},
  pdf = {http://perso.citi-lab.fr/fdedinec/recherche/publis/2013-TRETS-Exponentiation.pdf},
  keywords = {exp, log, pow, fixed-point, hardware, fpga}
}
@inproceedings{DinechinPasca2010-FPT,
  author = {de Dinechin, Florent and Bogdan Pasca},
  title = {Floating-point exponential functions for {DSP}-enabled {FPGA}s},
  pages = {110--117},
  booktitle = {Field Programmable Technologies},
  url = {http://prunel.ccsd.cnrs.fr/ensl-00506125/},
  pdf = {http://perso.ens-lyon.fr/florent.de.dinechin/recherche/publis/2010-FPT-Exp.pdf},
  year = 2010,
  month = dec,
  keywords = {exp, fixed-point, hardware, fpga}
}
@book{BrentZimmermann2010,
  author = {Richard P. Brent and Paul Zimmermann},
  file = {/home/marc/docs/recherche/biblio/documents/BrentZimmermann2010.pdf},
  publisher = {Cambridge University Press},
  title = {Modern Computer Arithmetic},
  url = {http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.7.pdf},
  year = {2010},
  keywords = {textbook,multiple precision, division, sqrt, exp, log, sincos, tan}
}
@inproceedings{Johansson2015,
  author = {Fredrik Johansson},
  booktitle = {22nd IEEE Symposium on Computer Arithmetic},
  title = {Efficient implementation of elementary functions in the medium-precision range},
  year = {2015},
  keywords = {multiple precision, exp, log, sincos, atan}
}
@inproceedings{Brent1976,
  address = {Brisbane, Australia},
  author = {Richard P. Brent},
  booktitle = {The Complexity of Computational Problem Solving},
  editor = {R. S. Anderssen and R. P. Brent},
  pages = {126–165},
  title = {The Complexity of Multiple-precision Arithmetic},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub032.html},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1976a,
  author = {Richard P. Brent},
  journal = {Journal of the ACM},
  owner = {marc},
  pages = {242–251},
  title = {Fast multiple precision evaluation of elementary functions},
  url = {http://wwwmaths.anu.edu.au/~brent/pub/pub034.html},
  volume = {23},
  year = {1976},
  keywords = {multiple precision, exp, log, sincos, atan, sinh}
}
@article{Brent1978,
  author = {Richard P. Brent},
  issn = {0098-3500},
  journal = {ACM Transactions on Mathematical Software},
  month = mar,
  number = {1},
  pages = {57–70},
  title = {A {Fortran} Multiple-Precision Arithmetic Package},
  url = {http://maths.anu.edu.au/~brent/pub/pub042.html},
  volume = {4},
  year = {1978},
  keywords = {multiple precision, exp, log, atan}
}

This file was generated by bibtex2html 1.98.