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
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
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,
+}
+