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 % Basically my favourite thing on triangle rasterization.
  51 % There are older ones, but this one makes sense.
  52 @misc{giesen2013triangle,
  53   title={Triangle rasterization in practice},
  54   author={Giesen, Fabien},
  55   year={2013},
  56   journal={The ryg blog},
  57   type={Blog},
  58   number={February 8},
  59   howpublished={\url{http://fgiesen.wordpress.com/2013/02/08/triangle-rasterization-in-practice/}}
  60 }
  61
  62 % A paper on polygon rasterization. Probably should find a nice textbook on
  63 % this.
  64 @article{pineda1988parallel,
  65   title={A parallel algorthim for polygon rasterization},
  66   author={Pineda, Juan},
  67   journal={ACM Computer Graphics},
  68   year={1988},
  69   volume={22},
  70   number={4},
  71   pages={17--20},
  72   publisher={ACM}
  73 }
  74
  75 %%%%%%%%%%%%%%%%%%%%%%%
  76 % Floating-pt Precision
  77 %%%%%%%%%%%%%%%%%%%%%%%
  78 Goldberg:1991:CSK:103162.103163,
  79 @article{goldberg1991whatevery,
  80  author = {Goldberg, David},
  81  title = {What Every Computer Scientist Should Know About Floating-point Arithmetic},
  82  journal = {ACM Comput. Surv.},
  83  issue_date = {March 1991},
  84  volume = {23},
  85  number = {1},
  86  month = mar,
  87  year = {1991},
  88  issn = {0360-0300},
  89  pages = {5--48},
  90  numpages = {44},
  91  url = {http://doi.acm.org/10.1145/103162.103163},
  92  doi = {10.1145/103162.103163},
  93  acmid = {103163},
  94  publisher = {ACM},
  95  address = {New York, NY, USA},
  96  keywords = {NaN, denormalized number, exception, floating-point, floating-point standard, gradual underflow, guard digit, overflow, relative error, rounding error, rounding mode, ulp, underflow},
  97 }
  98 @inproceedings{emmart2010high,
  99   title={High precision integer multiplication with a graphics processing unit},
 100   author={Emmart, Niall and Weems, Charles},
 101   booktitle={2010 IEEE International Symposium on Parallel \& Distributed Processing, Workshops and Phd Forum (IPDPSW)},
 102   pages={1--6},
 103   year={2010},
 104   organization={IEEE}
 105 }
 106
 107 %%%%%%%%%%%%%%%%%%%%%%%%
 108 % GPU-y Stuff
 109 %%%%%%%%%%%%%%%%%%%%%%%%
 110
 111 % OpenGL 4.4 (core profile) spec.
 112 % The latest OpenGL spec.
 113 % See: http://www.opengl.org/registry/doc/glspec44.core.pdf
 114 @book{openglspec,
 115   title={The OpenGL\textregistered Graphics System: A Specification},
 116   author={Segal, Mark and Akely, Kurt and Leech, Jon},
 117   year={2014},
 118   publisher={The Kronos Group, Inc},
 119   url={http://www.opengl.org/registry/doc/glspec44.core.pdf}
 120 }
 121
 122 % The valve paper on using signed distance fields, scaling them and then alpha testing
 123 % them to have a smooth, defined boundary for "vector"-like effects.
 124 % Also talks of using several channels in the image and running boolean operations on them
 125 % to create sharp corners, etc.
 126 @inproceedings{green2007improved,
 127   title={Improved alpha-tested magnification for vector textures and special effects},
 128   author={Green, Chris},
 129   booktitle={ACM SIGGRAPH 2007 courses},
 130   pages={9--18},
 131   year={2007},
 132   organization={ACM}
 133 }
 134
 135 % A fast approximation to the signed distance field calculation for pixel grids
 136 @article{leymarie1992fast,
 137   title={Fast raster scan distance propagation on the discrete rectangular lattice},
 138   author={Leymarie, F and Levine, Martin D},
 139   journal={CVGIP: Image Understanding},
 140   volume={55},
 141   number={1},
 142   pages={84--94},
 143   year={1992},
 144   publisher={Elsevier}
 145 }
 146
 147 % Good overview of SDFs and the use of quad/octrees to better encode fine detail.
 148 @inproceedings{frisken2000adaptively,
 149   title={Adaptively sampled distance fields: a general representation of shape for computer graphics},
 150   author={Frisken, Sarah F and Perry, Ronald N and Rockwood, Alyn P and Jones, Thouis R},
 151   booktitle={Proceedings of the 27th annual conference on Computer graphics and interactive techniques},
 152   pages={249--254},
 153   year={2000},
 154   organization={ACM Press/Addison-Wesley Publishing Co.}
 155 }
 156
 157
 158 % Split texture into a grid/quadtree, have each element represented by a set of cubic equations, combined CSG style.
 159 % Need to read this further to understand some of the nuance, though I expect GLyphy does this better?
 160 @techreport{ray2005vector,
 161   title={Vector texture maps on the GPU},
 162   author={Ray, Nicolas and Cavin, Xavier and L{\'e}vy, Bruno},
 163   year={2005},
 164   institution={Technical Report ALICE-TR-05-003}
 165 }
 166
 167 % GLyphy: https://github.com/behdad/slippy/tree/master/glyphy
 168 % Can I get these slides into a readable format, and is it formal enough?
 169 % The caricatures of the Intel OpenGL driver team are good, if nothing else.
 170
 171 % Cairo rendering library. Basically implements the rendering bits of postscript in C,
 172 % the basis for many Linux vector graphics programs.
 173 @inproceedings{worth2003xr,
 174   title={Xr: Cross-device rendering for vector graphics},
 175   author={Worth, Carl and Packard, Keith},
 176   booktitle={Linux Symposium},
 177   pages={480},
 178   year={2003}
 179 }
 180
 181
 182 % Glitz cairo opengl backend.
 183 @inproceedings{nilsson2004glitz,
 184   title={Glitz: Hardware Accelerated Image Compositing Using {O}pen{GL}.},
 185   author={Nilsson, Peter and Reveman, David},
 186   booktitle={USENIX Annual Technical Conference, FREENIX Track},
 187   pages={29--40},
 188   year={2004}
 189 }
 190
 191 % Basically an earlier but more detailed version of the below.
 192 @article{loop2005resolution,
 193   title={Resolution independent curve rendering using programmable graphics hardware},
 194   author={Loop, Charles and Blinn, Jim},
 195   journal={ACM Transactions on Graphics (TOG)},
 196   volume={24},
 197   number={3},
 198   pages={1000--1009},
 199   year={2005},
 200   publisher={ACM}
 201 }
 202
 203
 204 % GPU Gems 3 article about using textures for the edges of smooth curves.
 205 % http://http.developer.nvidia.com/GPUGems3/gpugems3_ch25.html
 206 @article{loop2007rendering,
 207   title={Rendering vector art on the GPU},
 208   author={Loop, Charles and Blinn, Jim},
 209   journal={GPU gems},
 210   volume={3},
 211   pages={543--562},
 212   year={2007}
 213 }
 214
 215
 216 % The article introducing the NV_path_rendering opengl extension
 217 % (nVidia-specific) which uses a "stencil-then-cover" technique to render
 218 % real vector graphics (not an approximation) on the GPU.
 219 % See Zach Rusin's blog post comparing it to Qt's SVG renderer.
 220 % http://zrusin.blogspot.com.au/2011/09/nv-path-rendering.html
 221 @article{kilgard2012gpu,
 222   title={GPU-accelerated path rendering},
 223   author={Kilgard, Mark J and Bolz, Jeff},
 224   journal={ACM Transactions on Graphics (TOG)},
 225   volume={31},
 226   number={6},
 227   pages={172},
 228   year={2012},
 229   publisher={ACM}
 230 }
 231 % An extension to the above, detailing the use of the extension, rather than the way it is implemented.
 232 @article{kilgard300programming,
 233   title={Programming with NV path rendering: An Annex to the SIGGRAPH paper GPU-accelerated Path Rendering},
 234   author={Kilgard, Mark J},
 235   journal={heart},
 236   volume={300},
 237   pages={300}
 238 }
 239
 240 % GL_NV_blend_equation_advanced OpenGL extension
 241 % https://www.opengl.org/registry/specs/NV/blend_equation_advanced.txt
 242 % TODO: How to reference this??
 243 % Bascially supports all PDF, SVG blend modes and then some.
 244 % Pretty much only nVidia support this, but the specification
 245 % includes the equations for everything, which is nice.
 246
 247 % OpenVG is an opengl-ish API for vector graphics.
 248 % More based around SVG than postscript, but not bad.
 249 @article{rice2008openvg,
 250   title={OpenVG Specification, version 1.1},
 251   author={Rice, Daniel and Simpson, RJ},
 252   journal={Khronos Group},
 253   year={2008}
 254 }
 255
 256
 257 % Implementing OpenVG using OpenGL ES 1. Pretty high-level overview.
 258 % Basically boiled down to "we tesselated to get curves, and then used textures for fill"
 259 @inproceedings{oh2007implementation,
 260   title={Implementation of OpenVG 1.0 using OpenGL ES},
 261   author={Oh, Aekyung and Sung, Hyunchan and Lee, Hwanyong and Kim, Kujin and Baek, Nakhoon},
 262   booktitle={Proceedings of the 9th international conference on Human computer interaction with mobile devices and services},
 263   pages={326--328},
 264   year={2007},
 265   organization={ACM}
 266 }
 267
 268 % Implementing the OpenVG paint modes using GLES2 shaders.
 269 % This is all pretty simple stuff.
 270 @inproceedings{robart2009openvg,
 271   title={OpenVG paint subsystem over openGL ES shaders},
 272   author={Robart, Mathieu},
 273   booktitle={Consumer Electronics, 2009. ICCE'09. Digest of Technical Papers International Conference on},
 274   pages={1--2},
 275   year={2009},
 276   organization={IEEE}
 277 }
 278
 279 %%%%%%%%%%%%%%%%%
 280 % Quadtrees
 281 %%%%%%%%%%%%%%%%%
 282 @article{finkel1974quad,
 283   title={Quad trees a data structure for retrieval on composite keys},
 284   author={Finkel, Raphael A. and Bentley, Jon Louis},
 285   journal={Acta informatica},
 286   volume={4},
 287   number={1},
 288   pages={1--9},
 289   year={1974},
 290   publisher={Springer}
 291 }
 292
 293
 294 % Basic overview of PDF and how it is awesome.
 295 % This doesn't seem like a major revelation for 2002
 296 @article{cheng2002portable,
 297         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.},
 298         Author = {Wan-Lee Cheng, Michael A.},
 299         ISSN = {10716084},
 300         Journal = {Journal of Technology Studies},
 301         Keywords = {PDF (Computer file format), FILE organization (Computer science), ELECTRONIC data processing},
 302         Number = {1},
 303         Pages = {59 - 63},
 304         Title = {Portable Document Format (PDF) -- Finally, a Universal Document Exchange Technology.},
 305         Volume = {28},
 306         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=11512377&site=ehost-live},
 307         Year = {2002},
 308 }
 309
 310 % Overview of different formats
 311 % Talks about JavaScript being the future
 312 % Best title so far
 313 @article{hayes2012pixels,
 314         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.},
 315         Author = {Hayes, Brian},
 316         ISSN = {00030996},
 317         Journal = {American Scientist},
 318         Keywords = {ELECTRONIC publishing, SCIENCE publishing, GRAPHIC methods -- Software, POSTSCRIPT (Computer program language), JAVASCRIPT (Computer program language), CHARTS, diagrams, etc., DESIGN & construction},
 319         Number = {2},
 320         Pages = {106 - 111},
 321         Title = {Pixels or Perish.},
 322         Volume = {100},
 323         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=71853141&site=ehost-live},
 324         Year = {2012},
 325 }
 326
 327 % Embedding 3D models / graphs in PDFs
 328 % Actually works (in Adobe Reader)
 329 @article{barnes2013embedding,
 330         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},
 331         Author = {Barnes, David G. and Vidiassov, Michail and Ruthensteiner, Bernhard and Fluke, Christopher J. and Quayle, Michelle R. and McHenry, Colin R.},
 332         ISSN = {19326203},
 333         Journal = {PLoS ONE},
 334         Keywords = {PDF (Computer file format), EMBEDDINGS (Mathematics), COMPUTER software, THREE-dimensional imaging, LATEX (Computer software), COMPUTER graphics, Research Article},
 335         Number = {9},
 336         Pages = {1 - 15},
 337         Title = {Embedding and Publishing Interactive, 3-Dimensional, Scientific Figures in Portable Document Format (PDF) Files.},
 338         Volume = {8},
 339         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=90530375&site=ehost-live},
 340         Year = {2013},
 341 }
 342
 343 %Goldberg:1992:DFD:151333.151373
 344 % Looks useful... although it does have FORTRAN in it
 345 @article{goldberg1992thedesign,
 346  author = {Goldberg, David},
 347  title = {The Design of Floating-point Data Types},
 348  journal = {ACM Lett. Program. Lang. Syst.},
 349  issue_date = {June 1992},
 350  volume = {1},
 351  number = {2},
 352  month = jun,
 353  year = {1992},
 354  issn = {1057-4514},
 355  pages = {138--151},
 356  numpages = {14},
 357  url = {http://doi.acm.org/10.1145/151333.151373},
 358  doi = {10.1145/151333.151373},
 359  acmid = {151373},
 360  publisher = {ACM},
 361  address = {New York, NY, USA},
 362  keywords = {Ada, FORTRAN 90, Modula-3, backward error analysis, error analysis, exceptions, floating point, floating-point standard, guard digit, precision, rounding, ulp},
 363 }
 364
 365 % It seems wierd using our last names...
 366 @misc{proposalGow,
 367         title = "Infinite-precision Document Formats (Project Proposal)",
 368         author = "David Gow",
 369         year = "2014",
 370         howpublished = "\url{http://davidgow.net/stuff/ProjectProposal.pdf}"
 371 }
 372
 373 % Note the different title
 374 @misc{proposalMoore,
 375         title = "Infinite Precision Document Formats (Project Proposal)",
 376         author = "Sam Moore",
 377         year = "2014",
 378         howpublished = "\url{http://szmoore.net/ipdf/documents/ProjectProposalSam.pdf}"
 379 }
 380
 381 % The Fractal Nature of Bezier Curves
 382 % No date?
 383 @article{goldman_thefractal,
 384         title = "The Fractal Nature of Bezier Curves",
 385         author = "Ron Goldman",
 386         publisher = "Department of Computer Science, Rice University",
 387         address = "6100 Main Street, Houstan, Texas",
 388         note = "The de Casteljau subdivision algorithm is used to show that Bezier curves are also attractors (ie: fractals).
 389                 A new rendering algorithm is derived for Bezier curves."
 390 }
 391
 392 % Talks about security of PDF, probably not useful,
 393 @article{sami2009alook,
 394         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]},
 395         Author = {Rautiainen, Sami},
 396         ISSN = {13634127},
 397         Journal = {Information Security Technical Report},
 398         Keywords = {PDF (Computer file format), FILE organization (Computer science), SYSTEMS software, COMPUTER files},
 399         Number = {1},
 400         Pages = {30 - 33},
 401         Title = {A look at Portable Document Format vulnerabilities.},
 402         Volume = {14},
 403         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=40637035&site=ehost-live},
 404         Year = {2009},
 405 }
 406
 407 % Interesting but not related to the project
 408 @article{bergen2012automatic,
 409         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]},
 410         Author = {Bergen, Steven and Ross, Brian},
 411         ISSN = {01782789},
 412         Journal = {Visual Computer},
 413         Keywords = {GRAPHIC arts, GENETIC algorithms, GRAPHIC design, GRAPHIC designers, VISUAL communication, RESEARCH, Evolutionary art, Genetic algorithm, Vector graphics},
 414         Number = {1},
 415         Pages = {35 - 45},
 416         Title = {Automatic and interactive evolution of vector graphics images with genetic algorithms.},
 417         Volume = {28},
 418         URL = {http://search.ebscohost.com/login.aspx?direct=true&db=aph&AN=70129435&site=ehost-live},
 419         Year = {2012},
 420 }
 421
 422 % Similar to goldman1992, also old, need to find newer references
 423 @INPROCEEDINGS{priest1991algorithms,
 424 author={Priest, D.M.},
 425 booktitle={Computer Arithmetic, 1991. Proceedings., 10th IEEE Symposium on},
 426 title={Algorithms for arbitrary precision floating point arithmetic},
 427 year={1991},
 428 month={Jun},
 429 pages={132-143},
 430 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},
 431 doi={10.1109/ARITH.1991.145549},}
 432
 433 @article{goldbern1967twentyseven,
 434  author = {Goldberg, I. Bennett},
 435  title = {27 Bits Are Not Enough for 8-digit Accuracy},
 436  journal = {Commun. ACM},
 437  issue_date = {Feb. 1967},
 438  volume = {10},
 439  number = {2},
 440  month = feb,
 441  year = {1967},
 442  issn = {0001-0782},
 443  pages = {105--106},
 444  numpages = {2},
 445  url = {http://doi.acm.org/10.1145/363067.363112},
 446  doi = {10.1145/363067.363112},
 447  acmid = {363112},
 448  publisher = {ACM},
 449  address = {New York, NY, USA},
 450 }
 451
 452
 453
 454 % Boost multiprecision library
 455 @misc{boost_multiprecision,
 456         author = {John Maddock and Christopher Kormanyos},
 457         title = {Boost Multiprecision Library},
 458         howpublished = {\url{http://www.boost.org/doc/libs/1_53_0/libs/multiprecision/doc/html/boost_multiprecision/}}
 459 }
 460
 461 % A CMOS Floating Point Unit
 462 @MISC{kelley1997acmos,
 463     author = {Michael J. Kelley and Matthew A. Postiff and Advisor Richard and B. Brown},
 464     title = {A CMOS Floating Point Unit},
 465     year = {1997}
 466 }
 467
 468 @misc{filiatreault2003simply,
 469         author = {Raymond Filiatreault},
 470         title = "Simply FPU",
 471         year = 2003,
 472         howpublished = {\url{http://www.website.masmforum.com/tutorials/fptute/index.html}}
 473 }
 474
 475 @article{bishop2008floating,
 476         author = {David Bishop},
 477         year = 2008,
 478         howpublished = {\url{http://www.vhdl.org/fphdl/Float_ug.pdf}},
 479         title = {Floating Point Package User's Guide},
 480         note = {Technical Report},
 481         journal = {EDA Industry Working Groups}
 482 }
 483
 484 @article{dieter2007lowcost,
 485  author = {Dieter, William R. and Kaveti, Akil and Dietz, Henry G.},
 486  title = {Low-Cost Microarchitectural Support for Improved Floating-Point Accuracy},
 487  journal = {IEEE Comput. Archit. Lett.},
 488  issue_date = {January 2007},
 489  volume = {6},
 490  number = {1},
 491  month = jan,
 492  year = {2007},
 493  issn = {1556-6056},
 494  pages = {13--16},
 495  numpages = {4},
 496  url = {http://dx.doi.org/10.1109/L-CA.2007.1},
 497  doi = {10.1109/L-CA.2007.1},
 498  acmid = {1271937},
 499  publisher = {IEEE Computer Society},
 500  address = {Washington, DC, USA},
 501  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},
 502 }
 503
 504 @misc{jop,
 505         author = "jop-devel",
 506         title = "Java Optimized Processor",
 507         howpublished = "\url{https://github.com/jop-devel/jop}"
 508 }
 509
 510 @inproceedings{kadric2013accurate,
 511   title={Accurate Parallel Floating-Point Accumulation},
 512   author={Kadric, Edin and Gurniak, Paul and DeHon, Andr{\'e}},
 513   booktitle={Computer Arithmetic (ARITH), 2013 21st IEEE Symposium on},
 514   pages={153--162},
 515   year={2013},
 516   organization={IEEE}
 517 }
 518
 519 %ghdl, the least shitty of the open source vhdl tools
 520 @misc{ghdl,
 521         title = "GHDL Guide",
 522         author = "Tristan Gingold",
 523         year = "2007",
 524         howpublished = "\url{http://ghdl.free.fr/ghdl/}"
 525 }
 526
 527 % Look into as an alternative to using text files for FPU simulation?
 528 @misc{tang2000using,
 529         title = "Using Binary Files in VHDL Test Benches",
 530         author = "Stephen Tang",
 531         year = "2000",
 532         howpublished = "\url{http://www.ece.ualberta.ca/~elliott/ee552/studentAppNotes/2000_w/vhdl/BinaryFileTestbenching/binary.html}",
 533         note = "Application Notes (webpage)"
 534 }
 535
 536 % On the design of IEEE floating point adders
 537 % Has algorithms!
 538 @INPROCEEDINGS{seidel2001onthe,
 539 author={Seidel, P.-M. and Even, G.},
 540 booktitle={Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on},
 541 title={On the design of fast IEEE floating-point adders},
 542 year={2001},
 543 month={},
 544 pages={184-194},
 545 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},
 546 doi={10.1109/ARITH.2001.930118},
 547 ISSN={1063-6889},}
 548
 549
 550 @article{demmel1996basic,
 551         title = "Basic Issues in Floating Point Arithmetic and Error Analysis",
 552         author = "Jim Demmel",
 553         journal = "U.C. Berkeley CS267",
 554         note = "Lecture Notes",
 555         howpublished = "\url{http://www.cs.berkeley.edu/~demmel/cs267/lecture21/lecture21.html}",
 556         year = 1996
 557 }
 558
 559 @misc{grfpu_dasia,
 560         title = "GRFPU - High Performance IEEE- 7 5 4 Floating- Point Unit",
 561         author = "Edvin Catovic",
 562         howpublished = "\url{http://www.gaisler.com/doc/grfpu_dasia.pdf}"
 563 }
 564
 565 % The best quote ever.
 566 @misc{beebe2011round32,
 567         title = "Re: round32 ( round64 ( X ) ) ?= round32 ( X )",
 568         note = "IEEE 754 Working Group Mail Archives",
 569         author = "Nelson H. F. Beebe",
 570         howpublished = "\url{http://grouper.ieee.org/groups/754/email/msg04169.html}"
 571 }
 572
 573 % Biography of Charles Babbage because WHY NOT?
 574  % I suspect this year is wrong?75
 575 @ARTICLE{dodge_babbage,
 576 author={Dodge, N. S.},
 577 journal={Annals of the History of Computing, IEEE},
 578 title={Charles Babbage},
 579 year={2000},
 580 month={Oct},
 581 volume={22},
 582 number={4},
 583 pages={22-43},
 584 keywords={Accuracy;Art;Autobiographies;Biographies;Blood;Calculus;Educational institutions;History;Writing},
 585 doi={10.1109/MAHC.2000.887988},
 586 ISSN={1058-6180},}
 587
 588 @article{nature1871babbage,
 589         author = "Unknown Author",
 590         journal = "Nature",
 591         title = "Charles Babbage",
 592         year = 1871,
 593         volume = 5,
 594         number = 106,
 595         pages = "28-29"
 596 }
 597
 598 %IEEE 754 Really should have put this in earlier
 599 @ARTICLE{ieee2008-754,
 600 journal={IEEE Std 754-2008},
 601 title={IEEE Standard for Floating-Point Arithmetic},
 602 year={2008},
 603 month={Aug},
 604 pages={1-70},
 605 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},
 606 doi={10.1109/IEEESTD.2008.4610935},}
 607
 608
 609 @article{dekker1971afloating,
 610 year={1971},
 611 issn={0029-599X},
 612 journal={Numerische Mathematik},
 613 volume={18},
 614 number={3},
 615 doi={10.1007/BF01397083},
 616 title={A floating-point technique for extending the available precision},
 617 url={http://dx.doi.org/10.1007/BF01397083},
 618 publisher={Springer-Verlag},
 619 author={Dekker, T.J.},
 620 pages={224-242},
 621 language={English}
 622 }
 623
 624 @String{pub-BIRKHAUSER-BOSTON   = "Birkh{\"a}user Boston Inc."}
 625 @String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
 626
 627 @Book{HFP,
 628   author =       "Jean-Michel Muller and Nicolas Brisebarre and Florent
 629                  de Dinechin and Claude-Pierre Jeannerod and Vincent
 630                  Lef{\`e}vre and Guillaume Melquiond and Nathalie Revol
 631                  and Damien Stehl{\'e} and Serge Torres",
 632   title =        "Handbook of Floating-Point Arithmetic",
 633   publisher =    pub-BIRKHAUSER-BOSTON,
 634   address =      pub-BIRKHAUSER-BOSTON:adr,
 635   pages =        "xxiii + 572",
 636   year =         "2010",
 637   DOI =          "http://dx.doi.org/10.1007/978-0-8176-4704-9",
 638   ISBN =         "0-8176-4704-X",
 639   ISBN-13 =      "978-0-8176-4704-9",
 640   LCCN =         "QA76.9.C62 H36 2010",
 641   bibdate =      "Thu Jan 27 16:18:58 2011",
 642   price =        "US\$90 (est.)",
 643   acknowledgement = ack-nhfb,
 644 }
 645
 646 @article{svg2011-1.1,
 647         year = 2011,
 648         month = "August",
 649         journal = "WC3 Recommendation",
 650         title = "Scalable Vector Graphics (SVG) 1.1 (Second Edition)",
 651         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",
 652         howpublished = "\url{http://www.w3.org/TR/SVG/}"
 653 }
 654
 655 @article{kapoulkine2014pugixml,
 656         year = "2014",
 657         author = "Arseny Kapoulkine",
 658         title = "pugixml --- Light-weight, simple and fast XML parser for C++ with XPath support",
 659         howpublished="http://pugixml.org",
 660 }
 661
 662
 663 @article{pugixmlDOM,
 664         year = "2014",
 665         author = "Arseny Kapoulkine",
 666         title = "Document Object Model",
 667         journal = "pugixml 1.4 manual",
 668         howpublished = "http://pugixml.googlecode.com/svn/tags/latest/docs/manual/dom.html"
 669 }
 670
 671 % Rendering vector graphics on vector display devices (historical)
 672 %Brassel:1979:ASR:965103.807434,
 673 @article{brassel1979analgorithm,
 674  author = {Brassel, Kurt E. and Fegeas, Robin},
 675  title = {An Algorithm for Shading of Regions on Vector Display Devices},
 676  journal = {SIGGRAPH Comput. Graph.},
 677  issue_date = {August 1979},
 678  volume = {13},
 679  number = {2},
 680  month = aug,
 681  year = {1979},
 682  issn = {0097-8930},
 683  pages = {126--133},
 684  numpages = {8},
 685  url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/965103.807434},
 686  doi = {10.1145/965103.807434},
 687  acmid = {807434},
 688  publisher = {ACM},
 689  address = {New York, NY, USA},
 690  keywords = {Cartography, Computer graphics, Line-drawing processing, Polygons, Shading, Software, Spatial information},
 691 }
 692 %Lane:1983:AFR:357323.357326,
 693 @article{lane1983analgorithm,
 694  author = {Lane, J. M. and M. Rarick, R. and},
 695  title = {An Algorithm for Filling Regions on Graphics Display Devices},
 696  journal = {ACM Trans. Graph.},
 697  issue_date = {July 1983},
 698  volume = {2},
 699  number = {3},
 700  month = jul,
 701  year = {1983},
 702  issn = {0730-0301},
 703  pages = {192--196},
 704  numpages = {5},
 705  url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/357323.357326},
 706  doi = {10.1145/357323.357326},
 707  acmid = {357326},
 708  publisher = {ACM},
 709  address = {New York, NY, USA},
 710 }
 711
 712 @article{hillesland2004paranoia,
 713         author = "Karl E Hillesland and Anselmo Lastra",
 714         title = "GPU Floating-Point Paranoia",
 715         journal = "Proceedings of GP 2004",
 716         year = 2004,
 717         url = "\url{http://www.cs.unc.edu/~ibr/projects/paranoia/}"
 718 }
 719
 720 %Fousse:2007:MMB:1236463.1236468,
 721 @article{fousse2007mpfr,
 722  author = {Fousse, Laurent and Hanrot, Guillaume and Lef\`{e}vre, Vincent and P{\'e}lissier, Patrick and Zimmermann, Paul},
 723  title = {MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding},
 724  journal = {ACM Trans. Math. Softw.},
 725  issue_date = {June 2007},
 726  volume = {33},
 727  number = {2},
 728  month = jun,
 729  year = {2007},
 730  issn = {0098-3500},
 731  articleno = {13},
 732  url = {http://doi.acm.org.ezproxy.library.uwa.edu.au/10.1145/1236463.1236468},
 733  doi = {10.1145/1236463.1236468},
 734  acmid = {1236468},
 735  publisher = {ACM},
 736  address = {New York, NY, USA},
 737  keywords = {IEEE 754 standard, Multiple-precision arithmetic, correct rounding, elementary function, floating-point arithmetic, portable software},
 738 }
 739
 740
 741 @article{kahan1996ieee754,
 742         author = "W Kahan",
 743         title = "Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic",
 744         url = "\url{http://http.cs.berkeley.edu/~wkahan/ieee754status/ieee754.ps}",
 745         year = 1996,
 746         month = May
 747 }
 748
 749 @article{kahan2007wrong,
 750         author = "W Kahan",
 751         title = "Why is Floating-Point Computation so Hard to Debug when it Goes Wrong?",
 752         howpublished = "\url{http://www.cs.berkeley.edu/~wkahan/WrongR.pdf},
 753         year = 2007,
 754         month = March
 755 }
 756
 757 @misc{kahanweb,
 758         author = "W Kahan",
 759         title = "Prof W Kahan's Webpages",
 760         howpublished = "\url{http://www.cs.berkeley.edu/~wkahan/}"
 761 }
 762