The GNU MPFR C Library and Articles by William Kahan
[ipdf/documents.git] / papers.bib
index 2c75525..a37aa73 100644 (file)
@@ -490,12 +490,36 @@ doi={10.1109/ARITH.1991.145549},}
        howpublished = "\url{http://ghdl.free.fr/ghdl/}"
 }
 
+% Look into as an alternative to using text files for FPU simulation?
+@misc{tang2000using,
+       title = "Using Binary Files in VHDL Test Benches",
+       author = "Stephen Tang",
+       year = "2000",
+       howpublished = "\url{http://www.ece.ualberta.ca/~elliott/ee552/studentAppNotes/2000_w/vhdl/BinaryFileTestbenching/binary.html}",
+       note = "Application Notes (webpage)"
+}
+
+% On the design of IEEE floating point adders
+% Has algorithms!
+@INPROCEEDINGS{seidel2001onthe,
+author={Seidel, P.-M. and Even, G.},
+booktitle={Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on},
+title={On the design of fast IEEE floating-point adders},
+year={2001},
+month={},
+pages={184-194},
+keywords={adders;circuit optimisation;floating point arithmetic;logic design;IEEE rounding modes;IEEE standard;addition;approximate counting;borrow-save representation;clock periods;complement subtraction;compound adders;double precision;fast IEEE floating-point adder design;fast circuits;latches;latency;leading zeros;logic levels;normalized numbers;normalized rounded sum/difference;optimization techniques;rounding algorithm;sign-magnitude computation;subtraction;Adders;Algorithm design and analysis;Circuits;Clocks;Delay;Design optimization;Latches;Logic design;Partitioning algorithms;Pipelines},
+doi={10.1109/ARITH.2001.930118},
+ISSN={1063-6889},}
+
+
 @article{demmel1996basic,
        title = "Basic Issues in Floating Point Arithmetic and Error Analysis",
        author = "Jim Demmel",
        journal = "U.C. Berkeley CS267",
        note = "Lecture Notes",
-       howpublished = "\url{http://www.cs.berkeley.edu/~demmel/cs267/lecture21/lecture21.html}"
+       howpublished = "\url{http://www.cs.berkeley.edu/~demmel/cs267/lecture21/lecture21.html}",
+       year = 1996
 }
 
 @misc{grfpu_dasia,
@@ -503,3 +527,202 @@ doi={10.1109/ARITH.1991.145549},}
        author = "Edvin Catovic",
        howpublished = "\url{http://www.gaisler.com/doc/grfpu_dasia.pdf}"
 }
+
+% The best quote ever.
+@misc{beebe2011round32,
+       title = "Re: round32 ( round64 ( X ) ) ?= round32 ( X )",
+       note = "IEEE 754 Working Group Mail Archives",
+       author = "Nelson H. F. Beebe",
+       howpublished = "\url{http://grouper.ieee.org/groups/754/email/msg04169.html}"
+}
+
+% Biography of Charles Babbage because WHY NOT?
+ % I suspect this year is wrong?75
+@ARTICLE{dodge_babbage,
+author={Dodge, N. S.},
+journal={Annals of the History of Computing, IEEE},
+title={Charles Babbage},
+year={2000},
+month={Oct},
+volume={22},
+number={4},
+pages={22-43},
+keywords={Accuracy;Art;Autobiographies;Biographies;Blood;Calculus;Educational institutions;History;Writing},
+doi={10.1109/MAHC.2000.887988},
+ISSN={1058-6180},}
+
+@article{nature1871babbage,
+       author = "Unknown Author",
+       journal = "Nature",
+       title = "Charles Babbage",
+       year = 1871,
+       volume = 5,
+       number = 106, 
+       pages = "28-29"
+}
+
+%IEEE 754 Really should have put this in earlier
+@ARTICLE{ieee2008-754,
+journal={IEEE Std 754-2008},
+title={IEEE Standard for Floating-Point Arithmetic},
+year={2008},
+month={Aug},
+pages={1-70},
+keywords={IEEE standards;floating point arithmetic;programming;IEEE standard;arithmetic formats;computer programming;decimal floating-point arithmetic;754-2008;NaN;arithmetic;binary;computer;decimal;exponent;floating-point;format;interchange;number;rounding;significand;subnormal},
+doi={10.1109/IEEESTD.2008.4610935},}
+
+
+@article{dekker1971afloating,
+year={1971},
+issn={0029-599X},
+journal={Numerische Mathematik},
+volume={18},
+number={3},
+doi={10.1007/BF01397083},
+title={A floating-point technique for extending the available precision},
+url={http://dx.doi.org/10.1007/BF01397083},
+publisher={Springer-Verlag},
+author={Dekker, T.J.},
+pages={224-242},
+language={English}
+}
+
+@String{pub-BIRKHAUSER-BOSTON   = "Birkh{\"a}user Boston Inc."}
+@String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
+
+@Book{HFP,
+  author =       "Jean-Michel Muller and Nicolas Brisebarre and Florent
+                 de Dinechin and Claude-Pierre Jeannerod and Vincent
+                 Lef{\`e}vre and Guillaume Melquiond and Nathalie Revol
+                 and Damien Stehl{\'e} and Serge Torres",
+  title =        "Handbook of Floating-Point Arithmetic",
+  publisher =    pub-BIRKHAUSER-BOSTON,
+  address =      pub-BIRKHAUSER-BOSTON:adr,
+  pages =        "xxiii + 572",
+  year =         "2010",
+  DOI =          "http://dx.doi.org/10.1007/978-0-8176-4704-9",
+  ISBN =         "0-8176-4704-X",
+  ISBN-13 =      "978-0-8176-4704-9",
+  LCCN =         "QA76.9.C62 H36 2010",
+  bibdate =      "Thu Jan 27 16:18:58 2011",
+  price =        "US\$90 (est.)",
+  acknowledgement = ack-nhfb,
+}
+
+@article{svg2011-1.1,
+       year = 2011,
+       month = "August",
+       journal = "WC3 Recommendation",
+       title = "Scalable Vector Graphics (SVG) 1.1 (Second Edition)",
+       author = "Erik Dahlst{\'o}m and Patric Dengler and Anthony Grasso and Chris Lilley and Cameron McCormack and Doug Schepers and Jonathon Watt and Jon Ferraiolo and Fujisawa Jun and Dean Jackson",
+       howpublished = "\url{http://www.w3.org/TR/SVG/}"
+}
+
+@article{kapoulkine2014pugixml,
+       year = "2014",
+       author = "Arseny Kapoulkine",
+       title = "pugixml --- Light-weight, simple and fast XML parser for C++ with XPath support",
+       howpublished="http://pugixml.org",
+}
+       
+
+@article{pugixmlDOM,
+       year = "2014",
+       author = "Arseny Kapoulkine",
+       title = "Document Object Model",
+       journal = "pugixml 1.4 manual",
+       howpublished = "http://pugixml.googlecode.com/svn/tags/latest/docs/manual/dom.html"
+}
+
+% Rendering vector graphics on vector display devices (historical)
+%Brassel:1979:ASR:965103.807434,
+@article{brassel1979analgorithm,
+ author = {Brassel, Kurt E. and Fegeas, Robin},
+ title = {An Algorithm for Shading of Regions on Vector Display Devices},
+ journal = {SIGGRAPH Comput. Graph.},
+ issue_date = {August 1979},
+ volume = {13},
+ number = {2},
+ month = aug,
+ year = {1979},
+ issn = {0097-8930},
+ pages = {126--133},
+ numpages = {8},
+ url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/965103.807434},
+ doi = {10.1145/965103.807434},
+ acmid = {807434},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Cartography, Computer graphics, Line-drawing processing, Polygons, Shading, Software, Spatial information},
+} 
+%Lane:1983:AFR:357323.357326,
+@article{lane1983analgorithm,
+ author = {Lane, J. M. and M. Rarick, R. and},
+ title = {An Algorithm for Filling Regions on Graphics Display Devices},
+ journal = {ACM Trans. Graph.},
+ issue_date = {July 1983},
+ volume = {2},
+ number = {3},
+ month = jul,
+ year = {1983},
+ issn = {0730-0301},
+ pages = {192--196},
+ numpages = {5},
+ url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/357323.357326},
+ doi = {10.1145/357323.357326},
+ acmid = {357326},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@article{hillesland2004paranoia,
+       author = "Karl E Hillesland and Anselmo Lastra",
+       title = "GPU Floating-Point Paranoia",
+       journal = "Proceedings of GP 2004",
+       year = 2004,
+       url = "\url{http://www.cs.unc.edu/~ibr/projects/paranoia/}"
+}
+
+%Fousse:2007:MMB:1236463.1236468,
+@article{fousse2007mpfr,
+ author = {Fousse, Laurent and Hanrot, Guillaume and Lef\`{e}vre, Vincent and P{\'e}lissier, Patrick and Zimmermann, Paul},
+ title = {MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding},
+ journal = {ACM Trans. Math. Softw.},
+ issue_date = {June 2007},
+ volume = {33},
+ number = {2},
+ month = jun,
+ year = {2007},
+ issn = {0098-3500},
+ articleno = {13},
+ url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/1236463.1236468},
+ doi = {10.1145/1236463.1236468},
+ acmid = {1236468},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {IEEE 754 standard, Multiple-precision arithmetic, correct rounding, elementary function, floating-point arithmetic, portable software},
+} 
+
+
+@article{kahan1996ieee754,
+       author = "W Kahan",
+       title = "Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic",
+       url = "\url{http://http.cs.berkeley.edu/~wkahan/ieee754status/ieee754.ps}",
+       year = 1996,
+       month = May
+}
+
+@article{kahan2007wrong,
+       author = "W Kahan",
+       title = "Why is Floating-Point Computation so Hard to Debug when it Goes Wrong?",
+       howpublished = "\url{http://www.cs.berkeley.edu/~wkahan/WrongR.pdf},
+       year = 2007,
+       month = March
+}
+
+@misc{kahanweb,
+       author = "W Kahan",
+       title = "Prof W Kahan's Webpages",
+       howpublished = "\url{http://www.cs.berkeley.edu/~wkahan/}"
+}
+

UCC git Repository :: git.ucc.asn.au