X-Git-Url: https://git.ucc.asn.au/?p=ipdf%2Fdocuments.git;a=blobdiff_plain;f=papers.bib;h=ee4d247a386f4443359c97c695815bc4b5798601;hp=52350bcfedb721447cfdc1690161856e081c826d;hb=e51aef2036ed3b6c219029a19b485ca0828b4828;hpb=4e29c54be001b88f60fd055ddb01d9b6bb12097f diff --git a/papers.bib b/papers.bib index 52350bc..ee4d247 100644 --- a/papers.bib +++ b/papers.bib @@ -333,7 +333,7 @@ Goldberg:1991:CSK:103162.103163, title = "Infinite-precision Document Formats (Project Proposal)", author = "David Gow", year = "2014", - howpublished = "http://davidgow.net/stuff/ProjectProposal.pdf" + howpublished = "\url{http://davidgow.net/stuff/ProjectProposal.pdf}" } % Note the different title @@ -341,7 +341,7 @@ Goldberg:1991:CSK:103162.103163, title = "Infinite Precision Document Formats (Project Proposal)", author = "Sam Moore", year = "2014", - howpublished = "http://szmoore.net/ipdf/documents/ProjectProposalSam.pdf" + howpublished = "\url{http://szmoore.net/ipdf/documents/ProjectProposalSam.pdf}" } % The Fractal Nature of Bezier Curves @@ -424,4 +424,187 @@ doi={10.1109/ARITH.1991.145549},} howpublished = {\url{http://www.boost.org/doc/libs/1_53_0/libs/multiprecision/doc/html/boost_multiprecision/}} } +% A CMOS Floating Point Unit +@MISC{kelley1997acmos, + author = {Michael J. Kelley and Matthew A. Postiff and Advisor Richard and B. Brown}, + title = {A CMOS Floating Point Unit}, + year = {1997} +} + +@misc{filiatreault2003simply, + author = {Raymond Filiatreault}, + title = "Simply FPU", + year = 2003, + howpublished = {\url{http://www.website.masmforum.com/tutorials/fptute/index.html}} +} + +@article{bishop2008floating, + author = {David Bishop}, + year = 2008, + howpublished = {\url{http://www.vhdl.org/fphdl/Float_ug.pdf}}, + title = {Floating Point Package User's Guide}, + note = {Technical Report}, + journal = {EDA Industry Working Groups} +} + +@article{dieter2007lowcost, + author = {Dieter, William R. and Kaveti, Akil and Dietz, Henry G.}, + title = {Low-Cost Microarchitectural Support for Improved Floating-Point Accuracy}, + journal = {IEEE Comput. Archit. Lett.}, + issue_date = {January 2007}, + volume = {6}, + number = {1}, + month = jan, + year = {2007}, + issn = {1556-6056}, + pages = {13--16}, + numpages = {4}, + url = {http://dx.doi.org/10.1109/L-CA.2007.1}, + doi = {10.1109/L-CA.2007.1}, + acmid = {1271937}, + publisher = {IEEE Computer Society}, + address = {Washington, DC, USA}, + keywords = {B Hardware, B.2 Arithmetic and Logic Structures, B.2.4 High-Speed Arithmetic, B.2.4.b Cost/performance, C Computer Systems Organization, C.0 General, C.0.b Hardware/software interfaces, C.1 Processor Architectures, C.1.5 Micro-architecture implementation considerations, G Mathematics of Computing, G.1 Numerical Analysis, G.1.0 General, G.1.0.e Multiple precision arithmetic, I Computing Methodologies, I.3 Computer Graphics, I.3.1 Hardware Architecture, I.3.1.a Graphics processors}, +} + +@misc{jop, + author = "jop-devel", + title = "Java Optimized Processor", + howpublished = "\url{https://github.com/jop-devel/jop}" +} + +@inproceedings{kadric2013accurate, + title={Accurate Parallel Floating-Point Accumulation}, + author={Kadric, Edin and Gurniak, Paul and DeHon, Andr{\'e}}, + booktitle={Computer Arithmetic (ARITH), 2013 21st IEEE Symposium on}, + pages={153--162}, + year={2013}, + organization={IEEE} +} + +%ghdl, the least shitty of the open source vhdl tools +@misc{ghdl, + title = "GHDL Guide", + author = "Tristan Gingold", + year = "2007", + 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}" +} + +@misc{grfpu_dasia, + title = "GRFPU - High Performance IEEE- 7 5 4 Floating- Point Unit", + 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, +}