X-Git-Url: https://git.ucc.asn.au/?p=ipdf%2Fdocuments.git;a=blobdiff_plain;f=papers.bib;h=a37aa7337d9e7c9c00d57664887432049469c475;hp=2c75525c906af85f9f0e7b62e3a1e868c6a89b13;hb=fec4133faffded3f9af7cc29b69189e7d1f05f74;hpb=30c5f83396f8a12e294771aacb3dd9d0c2b3fa43 diff --git a/papers.bib b/papers.bib index 2c75525..a37aa73 100644 --- a/papers.bib +++ b/papers.bib @@ -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/}" +} +