|
4
|
25 years of TEX and METAFONT: Looking back and looking forward: TUG 2003 keynote address
– Nelson H. F. Beebe
- 2004
|
|
|
Borneo 1.0.2
– Java Revised Version, Copyright Joseph, D. Darcy, Joseph D. Darcy, Joseph D. Darcy
|
|
|
Implementing Decimal Floating-Point Arithmetic through Binary: some Suggestions
– Nicolas Brisebarre, Nicolas Louvet, Érik Martin-dorel, Jean-michel Muller, Adrien Panhaleux, Miloš D. Ercegovac
|
|
1
|
Borneo 1.0.2 - Adding IEEE 754 floating point support to Java
– Joseph D. Darcy
- 1998
|
|
2
|
A precision and range independent tool for testing floating-point arithmetic I: basic operations, square root and remainder
– Brigitte Verdonk, Annie Cuyt, Dennis Verschaeren
- 1999
|
|
|
On the Precision Attainable with Various Floating-Point Number Systems
– Richard P. Brenty
|
|
8
|
On the Precision Attainable with Various Floating-Point Number Systems
– Richard P. Brent
- 1973
|
|
1
|
Cleaning up the tower: Numbers in Scheme
– Sebastian Egner
- 2004
|
|
|
Revised Report on the Algorithmic Language Scheme
– Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Robby Findler, Jacob Matthews
- 2009
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
53
|
Proper Tail Recursion and Space Efficiency
– William D. Clinger
- 1998
|
|
20
|
Implementation strategies for first-class continuations
– William D. Clinger, Anne H. Hartheimer, Eric M. Ost
- 1999
|
|
8
|
Omniware: A Universal Substrate for Mobile Code
– Colusa Software
- 1995
|
|
|
New directions in floating-point arithmetic
– Nelson H. F. Beebe
|
|
3
|
Domain Modelling: Resource Management Strategics, Tactics & Operations Decision Support and Algorithmic Software - A Contribution to Programming Methodology
– Dines Bjørner
|
|
30
|
Omniware: A Universal Substrate for Web Programming
– Steven Lucco, Oliver Sharp, Robert Wahbe
- 1995
|
|
|
Generating Random Permutations
– Jörg Arndt
- 2010
|
|
26
|
Building Certified Libraries for PCC: Dynamic Storage Allocation
– Dachuan Yu, Nadeem A. Hamid, Zhong Shao
- 2003
|
|
43
|
Exploiting Underlying Structure for Detailed Reconstruction of an Internet-Scale Event
– Abhishek Kumar, Vern Paxson, Nicholas Weaver
- 2005
|
