papers.bib

   1 % PostScript Reference Manual
   2 @book{plrm,
   3   title={PostScript Language Reference},
   4   author={Adobe Systems Incorporated},
   5   edition={3rd},
   6   publisher="Addison-Wesley Publishing Company",
   7   year={1985 - 1999}
   8 }
   9
  10 % PDF Reference Manual v1.7
  11 @book{pdfref17,
  12   title={PDF Reference},
  13   author={Adobe Systems Incorporated},
  14   edition={6th},
  15   publisher={Adobe Systems Incorporated},
  16   year={2006}
  17 }
  18
  19 %%%%%%%%%%%%%%%%%%%%%%%%
  20 % Basic Rendering Theory
  21 %%%%%%%%%%%%%%%%%%%%%%%%
  22
  23 %Porter-Duff compositing.
  24 % Keith Packard has a really nice PDF version of this.
  25 @inproceedings{porter1984compositing,
  26   title={Compositing digital images},
  27   author={Porter, Thomas and Duff, Tom},
  28   booktitle={ACM Siggraph Computer Graphics},
  29   volume={18},
  30   number={3},
  31   pages={253--259},
  32   year={1984},
  33   organization={ACM}
  34 }
  35
  36 %Bresenham's Line Drawing Algorithm
  37 % See Michael Abrash's Graphics Programming Black Book for a
  38 % much better guide to implementing this (at least on the 486)
  39 @article{bresenham1965algorithm,
  40   title={Algorithm for computer control of a digital plotter},
  41   author={Bresenham, Jack E},
  42   journal={IBM Systems journal},
  43   volume={4},
  44   number={1},
  45   pages={25--30},
  46   year={1965},
  47   publisher={IBM Corp.}
  48 }
  49
  50
  51
  52 %%%%%%%%%%%%%%%%%%%%%%%
  53 % Floating-pt Precision
  54 %%%%%%%%%%%%%%%%%%%%%%%
  55 Goldberg:1991:CSK:103162.103163,
  56 @article{goldberg1991whatevery,
  57  author = {Goldberg, David},
  58  title = {What Every Computer Scientist Should Know About Floating-point Arithmetic},
  59  journal = {ACM Comput. Surv.},
  60  issue_date = {March 1991},
  61  volume = {23},
  62  number = {1},
  63  month = mar,
  64  year = {1991},
  65  issn = {0360-0300},
  66  pages = {5--48},
  67  numpages = {44},
  68  url = {http://doi.acm.org/10.1145/103162.103163},
  69  doi = {10.1145/103162.103163},
  70  acmid = {103163},
  71  publisher = {ACM},
  72  address = {New York, NY, USA},
  73  keywords = {NaN, denormalized number, exception, floating-point, floating-point standard, gradual underflow, guard digit, overflow, relative error, rounding error, rounding mode, ulp, underflow},
  74 }
  75 @inproceedings{emmart2010high,
  76   title={High precision integer multiplication with a graphics processing unit},
  77   author={Emmart, Niall and Weems, Charles},
  78   booktitle={2010 IEEE International Symposium on Parallel \& Distributed Processing, Workshops and Phd Forum (IPDPSW)},
  79   pages={1--6},
  80   year={2010},
  81   organization={IEEE}
  82 }
  83
  84 %%%%%%%%%%%%%%%%%%%%%%%%
  85 % GPU-y Stuff
  86 %%%%%%%%%%%%%%%%%%%%%%%%
  87
  88 % The valve paper on using signed distance fields, scaling them and then alpha testing
  89 % them to have a smooth, defined boundary for "vector"-like effects.
  90 % Also talks of using several channels in the image and running boolean operations on them
  91 % to create sharp corners, etc.
  92 @inproceedings{green2007improved,
  93   title={Improved alpha-tested magnification for vector textures and special effects},
  94   author={Green, Chris},
  95   booktitle={ACM SIGGRAPH 2007 courses},
  96   pages={9--18},
  97   year={2007},
  98   organization={ACM}
  99 }
 100
 101 % A fast approximation to the signed distance field calculation for pixel grids
 102 @article{leymarie1992fast,
 103   title={Fast raster scan distance propagation on the discrete rectangular lattice},
 104   author={Leymarie, F and Levine, Martin D},
 105   journal={CVGIP: Image Understanding},
 106   volume={55},
 107   number={1},
 108   pages={84--94},
 109   year={1992},
 110   publisher={Elsevier}
 111 }
 112
 113 % Good overview of SDFs and the use of quad/octrees to better encode fine detail.
 114 @inproceedings{frisken2000adaptively,
 115   title={Adaptively sampled distance fields: a general representation of shape for computer graphics},
 116   author={Frisken, Sarah F and Perry, Ronald N and Rockwood, Alyn P and Jones, Thouis R},
 117   booktitle={Proceedings of the 27th annual conference on Computer graphics and interactive techniques},
 118   pages={249--254},
 119   year={2000},
 120   organization={ACM Press/Addison-Wesley Publishing Co.}
 121 }
 122
 123
 124 % Split texture into a grid/quadtree, have each element represented by a set of cubic equations, combined CSG style.
 125 % Need to read this further to understand some of the nuance, though I expect GLyphy does this better?
 126 @techreport{ray2005vector,
 127   title={Vector texture maps on the GPU},
 128   author={Ray, Nicolas and Cavin, Xavier and L{\'e}vy, Bruno},
 129   year={2005},
 130   institution={Technical Report ALICE-TR-05-003}
 131 }
 132
 133 % GLyphy: https://github.com/behdad/slippy/tree/master/glyphy
 134 % Can I get these slides into a readable format, and is it formal enough?
 135 % The caricatures of the Intel OpenGL driver team are good, if nothing else.
 136
 137 % Cairo rendering library. Basically implements the rendering bits of postscript in C,
 138 % the basis for many Linux vector graphics programs.
 139 @inproceedings{worth2003xr,
 140   title={Xr: Cross-device rendering for vector graphics},
 141   author={Worth, Carl and Packard, Keith},
 142   booktitle={Linux Symposium},
 143   pages={480},
 144   year={2003}
 145 }
 146
 147
 148 % Glitz cairo opengl backend.
 149 @inproceedings{nilsson2004glitz,
 150   title={Glitz: Hardware Accelerated Image Compositing Using {O}pen{GL}.},
 151   author={Nilsson, Peter and Reveman, David},
 152   booktitle={USENIX Annual Technical Conference, FREENIX Track},
 153   pages={29--40},
 154   year={2004}
 155 }
 156
 157 % Basically an earlier but more detailed version of the below.
 158 @article{loop2005resolution,
 159   title={Resolution independent curve rendering using programmable graphics hardware},
 160   author={Loop, Charles and Blinn, Jim},
 161   journal={ACM Transactions on Graphics (TOG)},
 162   volume={24},
 163   number={3},
 164   pages={1000--1009},
 165   year={2005},
 166   publisher={ACM}
 167 }
 168
 169
 170 % GPU Gems 3 article about using textures for the edges of smooth curves.
 171 % http://http.developer.nvidia.com/GPUGems3/gpugems3_ch25.html
 172 @article{loop2007rendering,
 173   title={Rendering vector art on the GPU},
 174   author={Loop, Charles and Blinn, Jim},
 175   journal={GPU gems},
 176   volume={3},
 177   pages={543--562},
 178   year={2007}
 179 }
 180
 181
 182 % The article introducing the NV_path_rendering opengl extension
 183 % (nVidia-specific) which uses a "stencil-then-cover" technique to render
 184 % real vector graphics (not an approximation) on the GPU.
 185 % See Zach Rusin's blog post comparing it to Qt's SVG renderer.
 186 % http://zrusin.blogspot.com.au/2011/09/nv-path-rendering.html
 187 @article{kilgard2012gpu,
 188   title={GPU-accelerated path rendering},
 189   author={Kilgard, Mark J and Bolz, Jeff},
 190   journal={ACM Transactions on Graphics (TOG)},
 191   volume={31},
 192   number={6},
 193   pages={172},
 194   year={2012},
 195   publisher={ACM}
 196 }
 197 % An extension to the above, detailing the use of the extension, rather than the way it is implemented.
 198 @article{kilgard300programming,
 199   title={Programming with NV path rendering: An Annex to the SIGGRAPH paper GPU-accelerated Path Rendering},
 200   author={Kilgard, Mark J},
 201   journal={heart},
 202   volume={300},
 203   pages={300}
 204 }
 205
 206 % GL_NV_blend_equation_advanced OpenGL extension
 207 % https://www.opengl.org/registry/specs/NV/blend_equation_advanced.txt
 208 % TODO: How to reference this??
 209 % Bascially supports all PDF, SVG blend modes and then some.
 210 % Pretty much only nVidia support this, but the specification
 211 % includes the equations for everything, which is nice.
 212
 213 % OpenVG is an opengl-ish API for vector graphics.
 214 % More based around SVG than postscript, but not bad.
 215 @article{rice2008openvg,
 216   title={OpenVG Specification, version 1.1},
 217   author={Rice, Daniel and Simpson, RJ},
 218   journal={Khronos Group},
 219   year={2008}
 220 }
 221
 222
 223 % Implementing OpenVG using OpenGL ES 1. Pretty high-level overview.
 224 % Basically boiled down to "we tesselated to get curves, and then used textures for fill"
 225 @inproceedings{oh2007implementation,
 226   title={Implementation of OpenVG 1.0 using OpenGL ES},
 227   author={Oh, Aekyung and Sung, Hyunchan and Lee, Hwanyong and Kim, Kujin and Baek, Nakhoon},
 228   booktitle={Proceedings of the 9th international conference on Human computer interaction with mobile devices and services},
 229   pages={326--328},
 230   year={2007},
 231   organization={ACM}
 232 }
 233
 234 % Implementing the OpenVG paint modes using GLES2 shaders.
 235 % This is all pretty simple stuff.
 236 @inproceedings{robart2009openvg,
 237   title={OpenVG paint subsystem over openGL ES shaders},
 238   author={Robart, Mathieu},
 239   booktitle={Consumer Electronics, 2009. ICCE'09. Digest of Technical Papers International Conference on},
 240   pages={1--2},
 241   year={2009},
 242   organization={IEEE}
 243 }
 244
 245 %%%%%%%%%%%%%%%%%
 246 % Quadtrees
 247 %%%%%%%%%%%%%%%%%
 248 @article{finkel1974quad,
 249   title={Quad trees a data structure for retrieval on composite keys},
 250   author={Finkel, Raphael A. and Bentley, Jon Louis},
 251   journal={Acta informatica},
 252   volume={4},
 253   number={1},
 254   pages={1--9},
 255   year={1974},
 256   publisher={Springer}
 257 }
 258
 259
 260 % Basic overview of PDF and how it is awesome.
 261 % This doesn't seem like a major revelation for 2002
 262 @article{cheng2002portable,
 263         Abstract = {Focuses on the portable document format (PDF) as a universal document exchange technology. Features of PDF; PDF software; Description of how to create a PDF file.},
 264         Author = {Wan-Lee Cheng, Michael A.},
 265         ISSN = {10716084},
 266         Journal = {Journal of Technology Studies},
 267         Keywords = {PDF (Computer file format), FILE organization (Computer science), ELECTRONIC data processing},
 268         Number = {1},
 269         Pages = {59 - 63},
 270         Title = {Portable Document Format (PDF) -- Finally, a Universal Document Exchange Technology.},
 271         Volume = {28},
 272         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=11512377&site=ehost-live},
 273         Year = {2002},
 274 }
 275
 276 % Overview of different formats
 277 % Talks about JavaScript being the future
 278 % Best title so far
 279 @article{hayes2012pixels,
 280         Abstract = {The article discusses digital methods for producing and reproducing scientific illustrations for online publication. Topics covered include the benefits of digital techniques for publishing such as three-dimensional graphics, the contribution to the visual quality of artwork using the computer language PostScript, and the Internet as a source for innovation in graphics like Scalable Vector Graphics (SVG). Also mentioned is the JavaScript library D3, an open-source software project, which can create and modify elements.},
 281         Author = {Hayes, Brian},
 282         ISSN = {00030996},
 283         Journal = {American Scientist},
 284         Keywords = {ELECTRONIC publishing, SCIENCE publishing, GRAPHIC methods -- Software, POSTSCRIPT (Computer program language), JAVASCRIPT (Computer program language), CHARTS, diagrams, etc., DESIGN & construction},
 285         Number = {2},
 286         Pages = {106 - 111},
 287         Title = {Pixels or Perish.},
 288         Volume = {100},
 289         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=71853141&site=ehost-live},
 290         Year = {2012},
 291 }
 292
 293 % Embedding 3D models / graphs in PDFs
 294 % Actually works (in Adobe Reader)
 295 @article{barnes2013embedding,
 296         Abstract = {With the latest release of the S2PLOT graphics library, embedding interactive, 3-dimensional (3-d) scientific figures in Adobe Portable Document Format (PDF) files is simple, and can be accomplished without commercial software. In this paper, we motivate the need for embedding 3-d figures in scholarly articles. We explain how 3-d figures can be created using the S2PLOT graphics library, exported to Product Representation Compact (PRC) format, and included as fully interactive, 3-d figures in PDF files using the movie15 LaTeX package. We present new examples of 3-d PDF figures, explain how they have been made, validate them, and comment on their advantages over traditional, static 2-dimensional (2-d) figures. With the judicious use of 3-d rather than 2-d figures, scientists can now publish, share and archive more useful, flexible and faithful representations of their study outcomes. The article you are reading does not have embedded 3-d figures. The full paper, with embedded 3-d figure},
 297         Author = {Barnes, David G. and Vidiassov, Michail and Ruthensteiner, Bernhard and Fluke, Christopher J. and Quayle, Michelle R. and McHenry, Colin R.},
 298         ISSN = {19326203},
 299         Journal = {PLoS ONE},
 300         Keywords = {PDF (Computer file format), EMBEDDINGS (Mathematics), COMPUTER software, THREE-dimensional imaging, LATEX (Computer software), COMPUTER graphics, Research Article},
 301         Number = {9},
 302         Pages = {1 - 15},
 303         Title = {Embedding and Publishing Interactive, 3-Dimensional, Scientific Figures in Portable Document Format (PDF) Files.},
 304         Volume = {8},
 305         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=90530375&site=ehost-live},
 306         Year = {2013},
 307 }
 308
 309 %Goldberg:1992:DFD:151333.151373
 310 % Looks useful... although it does have FORTRAN in it
 311 @article{goldberg1992thedesign,
 312  author = {Goldberg, David},
 313  title = {The Design of Floating-point Data Types},
 314  journal = {ACM Lett. Program. Lang. Syst.},
 315  issue_date = {June 1992},
 316  volume = {1},
 317  number = {2},
 318  month = jun,
 319  year = {1992},
 320  issn = {1057-4514},
 321  pages = {138--151},
 322  numpages = {14},
 323  url = {http://doi.acm.org/10.1145/151333.151373},
 324  doi = {10.1145/151333.151373},
 325  acmid = {151373},
 326  publisher = {ACM},
 327  address = {New York, NY, USA},
 328  keywords = {Ada, FORTRAN 90, Modula-3, backward error analysis, error analysis, exceptions, floating point, floating-point standard, guard digit, precision, rounding, ulp},
 329 }
 330
 331 % It seems wierd using our last names...
 332 @misc{proposalGow,
 333         title = "Infinite-precision Document Formats (Project Proposal)",
 334         author = "David Gow",
 335         year = "2014",
 336         howpublished = "\url{http://davidgow.net/stuff/ProjectProposal.pdf}"
 337 }
 338
 339 % Note the different title
 340 @misc{proposalMoore,
 341         title = "Infinite Precision Document Formats (Project Proposal)",
 342         author = "Sam Moore",
 343         year = "2014",
 344         howpublished = "\url{http://szmoore.net/ipdf/documents/ProjectProposalSam.pdf}"
 345 }
 346
 347 % The Fractal Nature of Bezier Curves
 348 % No date?
 349 @article{goldman_thefractal,
 350         title = "The Fractal Nature of Bezier Curves",
 351         author = "Ron Goldman",
 352         publisher = "Department of Computer Science, Rice University",
 353         address = "6100 Main Street, Houstan, Texas",
 354         note = "The de Casteljau subdivision algorithm is used to show that Bezier curves are also attractors (ie: fractals).
 355                 A new rendering algorithm is derived for Bezier curves."
 356 }
 357
 358 % Talks about security of PDF, probably not useful,
 359 @article{sami2009alook,
 360         Abstract = {Abstract: Portable Document Format (PDF) developed by Adobe Systems Inc. is a flexible and popular document distribution and delivery file format, and it is supported within various operating systems and devices. This article provides insight for some of the security issues within the format itself as well as an outlook of the vulnerabilities found from various versions of Adobe‘s own PDF viewer implementation. [Copyright &y& Elsevier]},
 361         Author = {Rautiainen, Sami},
 362         ISSN = {13634127},
 363         Journal = {Information Security Technical Report},
 364         Keywords = {PDF (Computer file format), FILE organization (Computer science), SYSTEMS software, COMPUTER files},
 365         Number = {1},
 366         Pages = {30 - 33},
 367         Title = {A look at Portable Document Format vulnerabilities.},
 368         Volume = {14},
 369         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=40637035&site=ehost-live},
 370         Year = {2009},
 371 }
 372
 373 % Interesting but not related to the project
 374 @article{bergen2012automatic,
 375         Abstract = {Vector graphics are popular in illustration and graphic design. Images are composed of discrete geometric shapes, such as circles, squares, and lines. The generation of vector images by evolutionary computation techniques, however, has been given little attention. JNetic is an implementation of a comprehensive evolutionary vector graphics tool. Vector primitives available range from simple geometric shapes (circles, polygons) to spline-based paint strokes. JNetic supports automatic and user-guided evolution, chromosome editing, and high-detail masks. Automatic evolution involves measuring the pixel-by-pixel colour distance between a candidate and target image. Masks can be painted over areas of the target image, which help reproduce the high-detail features within those areas. By creative selection of primitives and colour schemes, stylized interpretations of target images are produced. The system has been successfully used by the authors as a creative tool. [ABSTRACT FROM AUTHOR]},
 376         Author = {Bergen, Steven and Ross, Brian},
 377         ISSN = {01782789},
 378         Journal = {Visual Computer},
 379         Keywords = {GRAPHIC arts, GENETIC algorithms, GRAPHIC design, GRAPHIC designers, VISUAL communication, RESEARCH, Evolutionary art, Genetic algorithm, Vector graphics},
 380         Number = {1},
 381         Pages = {35 - 45},
 382         Title = {Automatic and interactive evolution of vector graphics images with genetic algorithms.},
 383         Volume = {28},
 384         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=70129435&site=ehost-live},
 385         Year = {2012},
 386 }
 387
 388 % Similar to goldman1992, also old, need to find newer references
 389 @INPROCEEDINGS{priest1991algorithms,
 390 author={Priest, D.M.},
 391 booktitle={Computer Arithmetic, 1991. Proceedings., 10th IEEE Symposium on},
 392 title={Algorithms for arbitrary precision floating point arithmetic},
 393 year={1991},
 394 month={Jun},
 395 pages={132-143},
 396 keywords={digital arithmetic;number theory;coordinates;floating point arithmetic;intersection point;line intersection;line segment;Algorithm design and analysis;Costs;Error analysis;Floating-point arithmetic;Hardware;High performance computing;Libraries;Mathematics;Packaging;Roundoff errors},
 397 doi={10.1109/ARITH.1991.145549},}
 398
 399 @article{goldbern1967twentyseven,
 400  author = {Goldberg, I. Bennett},
 401  title = {27 Bits Are Not Enough for 8-digit Accuracy},
 402  journal = {Commun. ACM},
 403  issue_date = {Feb. 1967},
 404  volume = {10},
 405  number = {2},
 406  month = feb,
 407  year = {1967},
 408  issn = {0001-0782},
 409  pages = {105--106},
 410  numpages = {2},
 411  url = {http://doi.acm.org/10.1145/363067.363112},
 412  doi = {10.1145/363067.363112},
 413  acmid = {363112},
 414  publisher = {ACM},
 415  address = {New York, NY, USA},
 416 }
 417
 418
 419
 420 % Boost multiprecision library
 421 @misc{boost_multiprecision,
 422         author = {John Maddock and Christopher Kormanyos},
 423         title = {Boost Multiprecision Library},
 424         howpublished = {\url{http://www.boost.org/doc/libs/1_53_0/libs/multiprecision/doc/html/boost_multiprecision/}}
 425 }
 426
 427 % A CMOS Floating Point Unit
 428 @MISC{kelley1997acmos,
 429     author = {Michael J. Kelley and Matthew A. Postiff and Advisor Richard and B. Brown},
 430     title = {A CMOS Floating Point Unit},
 431     year = {1997}
 432 }
 433
 434 @misc{filiatreault2003simply,
 435         author = {Raymond Filiatreault},
 436         title = "Simply FPU",
 437         year = 2003,
 438         howpublished = {\url{http://www.website.masmforum.com/tutorials/fptute/index.html}}
 439 }
 440
 441 @article{bishop2008floating,
 442         author = {David Bishop},
 443         year = 2008,
 444         howpublished = {\url{http://www.vhdl.org/fphdl/Float_ug.pdf}},
 445         title = {Floating Point Package User's Guide},
 446         note = {Technical Report},
 447         journal = {EDA Industry Working Groups}
 448 }
 449
 450 @article{dieter2007lowcost,
 451  author = {Dieter, William R. and Kaveti, Akil and Dietz, Henry G.},
 452  title = {Low-Cost Microarchitectural Support for Improved Floating-Point Accuracy},
 453  journal = {IEEE Comput. Archit. Lett.},
 454  issue_date = {January 2007},
 455  volume = {6},
 456  number = {1},
 457  month = jan,
 458  year = {2007},
 459  issn = {1556-6056},
 460  pages = {13--16},
 461  numpages = {4},
 462  url = {http://dx.doi.org/10.1109/L-CA.2007.1},
 463  doi = {10.1109/L-CA.2007.1},
 464  acmid = {1271937},
 465  publisher = {IEEE Computer Society},
 466  address = {Washington, DC, USA},
 467  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},
 468 }
 469
 470 @misc{jop,
 471         author = "jop-devel",
 472         title = "Java Optimized Processor",
 473         howpublished = "\url{https://github.com/jop-devel/jop}"
 474 }
 475
 476 @inproceedings{kadric2013accurate,
 477   title={Accurate Parallel Floating-Point Accumulation},
 478   author={Kadric, Edin and Gurniak, Paul and DeHon, Andr{\'e}},
 479   booktitle={Computer Arithmetic (ARITH), 2013 21st IEEE Symposium on},
 480   pages={153--162},
 481   year={2013},
 482   organization={IEEE}
 483 }
 484
 485 %ghdl, the least shitty of the open source vhdl tools
 486 @misc{ghdl,
 487         title = "GHDL Guide",
 488         author = "Tristan Gingold",
 489         year = "2007",
 490         howpublished = "\url{http://ghdl.free.fr/ghdl/}"
 491 }
 492
 493 % Look into as an alternative to using text files for FPU simulation?
 494 @misc{tang2000using,
 495         title = "Using Binary Files in VHDL Test Benches",
 496         author = "Stephen Tang",
 497         year = "2000",
 498         howpublished = "\url{http://www.ece.ualberta.ca/~elliott/ee552/studentAppNotes/2000_w/vhdl/BinaryFileTestbenching/binary.html}",
 499         note = "Application Notes (webpage)"
 500 }
 501
 502 % On the design of IEEE floating point adders
 503 % Has algorithms!
 504 @INPROCEEDINGS{seidel2001onthe,
 505 author={Seidel, P.-M. and Even, G.},
 506 booktitle={Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on},
 507 title={On the design of fast IEEE floating-point adders},
 508 year={2001},
 509 month={},
 510 pages={184-194},
 511 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},
 512 doi={10.1109/ARITH.2001.930118},
 513 ISSN={1063-6889},}
 514
 515
 516 @article{demmel1996basic,
 517         title = "Basic Issues in Floating Point Arithmetic and Error Analysis",
 518         author = "Jim Demmel",
 519         journal = "U.C. Berkeley CS267",
 520         note = "Lecture Notes",
 521         howpublished = "\url{http://www.cs.berkeley.edu/~demmel/cs267/lecture21/lecture21.html}"
 522 }
 523
 524 @misc{grfpu_dasia,
 525         title = "GRFPU - High Performance IEEE- 7 5 4 Floating- Point Unit",
 526         author = "Edvin Catovic",
 527         howpublished = "\url{http://www.gaisler.com/doc/grfpu_dasia.pdf}"
 528 }
 529
 530 % The best quote ever.
 531 @misc{beebe2011round32,
 532         title = "Re: round32 ( round64 ( X ) ) ?= round32 ( X )",
 533         note = "IEEE 754 Working Group Mail Archives",
 534         author = "Nelson H. F. Beebe",
 535         howpublished = "\url{http://grouper.ieee.org/groups/754/email/msg04169.html}"
 536 }
 537
 538 % Biography of Charles Babbage because WHY NOT?
 539  % I suspect this year is wrong?75
 540 @ARTICLE{dodge_babbage,
 541 author={Dodge, N. S.},
 542 journal={Annals of the History of Computing, IEEE},
 543 title={Charles Babbage},
 544 year={2000},
 545 month={Oct},
 546 volume={22},
 547 number={4},
 548 pages={22-43},
 549 keywords={Accuracy;Art;Autobiographies;Biographies;Blood;Calculus;Educational institutions;History;Writing},
 550 doi={10.1109/MAHC.2000.887988},
 551 ISSN={1058-6180},}
 552
 553 @article{nature1871babbage,
 554         author = "Unknown Author",
 555         journal = "Nature",
 556         title = "Charles Babbage",
 557         year = 1871,
 558         volume = 5,
 559         number = 106,
 560         pages = "28-29"
 561 }
 562
 563 %IEEE 754 Really should have put this in earlier
 564 @ARTICLE{ieee2008-754,
 565 journal={IEEE Std 754-2008},
 566 title={IEEE Standard for Floating-Point Arithmetic},
 567 year={2008},
 568 month={Aug},
 569 pages={1-70},
 570 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},
 571 doi={10.1109/IEEESTD.2008.4610935},}
 572
 573
 574 @article{dekker1971afloating,
 575 year={1971},
 576 issn={0029-599X},
 577 journal={Numerische Mathematik},
 578 volume={18},
 579 number={3},
 580 doi={10.1007/BF01397083},
 581 title={A floating-point technique for extending the available precision},
 582 url={http://dx.doi.org/10.1007/BF01397083},
 583 publisher={Springer-Verlag},
 584 author={Dekker, T.J.},
 585 pages={224-242},
 586 language={English}
 587 }
 588
 589 @String{pub-BIRKHAUSER-BOSTON   = "Birkh{\"a}user Boston Inc."}
 590 @String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
 591
 592 @Book{HFP,
 593   author =       "Jean-Michel Muller and Nicolas Brisebarre and Florent
 594                  de Dinechin and Claude-Pierre Jeannerod and Vincent
 595                  Lef{\`e}vre and Guillaume Melquiond and Nathalie Revol
 596                  and Damien Stehl{\'e} and Serge Torres",
 597   title =        "Handbook of Floating-Point Arithmetic",
 598   publisher =    pub-BIRKHAUSER-BOSTON,
 599   address =      pub-BIRKHAUSER-BOSTON:adr,
 600   pages =        "xxiii + 572",
 601   year =         "2010",
 602   DOI =          "http://dx.doi.org/10.1007/978-0-8176-4704-9",
 603   ISBN =         "0-8176-4704-X",
 604   ISBN-13 =      "978-0-8176-4704-9",
 605   LCCN =         "QA76.9.C62 H36 2010",
 606   bibdate =      "Thu Jan 27 16:18:58 2011",
 607   price =        "US\$90 (est.)",
 608   acknowledgement = ack-nhfb,
 609 }
 610