sincos.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob temp/sincos.bib -c 'keywords : "\bsin\b"' metalibm.bib}}
@inproceedings{harrison-fmcad2000,
  author = {John Harrison},
  title = {Formal verification of floating point
        trigonometric functions},
  booktitle = {Formal Methods in Computer-Aided Design:
        Third International Conference {FMCAD} 2000},
  publisher = {Springer-Verlag},
  pages = {217--233},
  series = {Lecture Notes in Computer Science},
  volume = 1954,
  year = 2000,
  keywords = {formal proof, sin, cos}
}
@techreport{Ng1992,
  author = {Ng, Kwok C.},
  title = {Argument reduction for huge arguments: good to the last bit},
  type = {Technical Report},
  institution = {SunPro},
  address = {Mountain View, CA, USA},
  month = jul,
  year = 1992,
  keywords = {algorithms, sin, cos, tan}
}
@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{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}
}
@inproceedings{Markstein03,
  author = {Peter Markstein},
  title = {Accelerating Sine and Cosine Evaluation with Compiler Assistance},
  booktitle = {16th Symposium on Computer Arithmetic},
  pages = {137--140},
  year = 2003,
  editor = {Jean, 2005. Proceedings. 8th Euromicro Conference on-Claude Bajard and Michael Schulte},
  location = {Santiago de Compostela, Spain},
  month = jun,
  publisher = {{IEEE}},
  keywords = {sin, cos, compiler}
}

This file was generated by bibtex2html 1.98.