Abstract is missing.
- High-precision computation: Applications and challenges [Keynote I]David H. Bailey. 3 [doi]
- The Floating-Point Unit of the Jaguar x86 CoreJeff Rupley, John King, Eric Quinnell, Frank Galloway, Ken Patton, Peter-Michael Seidel, James Dinh, Hai Bui, Anasua Bhowmik. 7-16 [doi]
- Split-Path Fused Floating Point Multiply Accumulate (FPMAC)Suresh Srinivasan, Ketan Bhudiya, Rajaraman Ramanarayanan, P. Sahit Babu, Tiju Jacob, Sanu Mathew, Ram Krishnamurthy, Vasantha Erraguntla. 17-24 [doi]
- FPU Generator for Design Space ExplorationSameh Galal, Ofer Shacham, John Brunhaver, Jing Pu, Artem Vassiliev, Mark Horowitz. 25-34 [doi]
- Improved Architectures for a Floating-Point Fused Dot Product UnitJongwook Sohn, Earl E. Swartzlander Jr.. 41-48 [doi]
- Floating Point Architecture Extensions for Optimized Matrix FactorizationArdavan Pedram, Andreas Gerstlauer, Robert A. van de Geijn. 49-58 [doi]
- A Fast Circuit Topology for Finding the Maximum of N k-bit NumbersBilgiday Yuce, H. Fatih Ugurdag, Sezer Gören, Günhan Dündar. 59-66 [doi]
- A Non-Linear/Linear Instruction Set Extension for Lightweight CiphersSusanne Engels, Elif Bilge Kavun, Christof Paar, Tolga Yalçin, Hristina Mihajloska. 67-75 [doi]
- The Antikythera Mechanism and the early history of mechanical computingM. G. Edmunds. 79 [doi]
- On the Componentwise Accuracy of Complex Floating-Point Division with an FMAClaude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller. 83-90 [doi]
- How to Compute the Area of a Triangle: A Formal RevisitSylvie Boldo. 91-98 [doi]
- SIPE: Small Integer Plus ExponentVincent Lefèvre. 99-106 [doi]
- A Formally-Verified C Compiler Supporting Floating-Point ArithmeticSylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. 107-115 [doi]
- Fault Detection in RNS Montgomery Modular MultiplicationJean-Claude Bajard, Julien Eynard, Filippo Gandino. 119-126 [doi]
- The Unary Arithmetical Algorithm in Bimodular Number SystemsPetr Kurka, Martin Delacourt. 127-134 [doi]
- Parallel Modular Multiplication on Multi-core ProcessorsPascal Giorgi, Laurent Imbert, Thomas Izard. 135-142 [doi]
- Comparison between Binary64 and Decimal64 Floating-Point NumbersNicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter. 145-152 [doi]
- Accurate Parallel Floating-Point AccumulationEdin Kadric, Paul Gurniak, André DeHon. 153-162 [doi]
- Fast Reproducible Floating-Point SummationJames Demmel, Hong Diep Nguyen. 163-172 [doi]
- Multiple-Precision Evaluation of the Airy Ai Function with Reduced CancellationSylvain Chevillard, Marc Mezzarobba. 175-182 [doi]
- Accurate and Fast Evaluation of Elementary Symmetric FunctionsHao Jiang, Stef Graillat, Roberto Barrio. 183-190 [doi]
- Truncated Logarithmic ApproximationMichael B. Sullivan, Earl E. Swartzlander Jr.. 191-198 [doi]
- Relation Collection for the Function Field SieveJérémie Detrey, Pierrick Gaudry, Marion Videau. 201-210 [doi]
- Another Look at Inversions over Binary FieldsVassil S. Dimitrov, Kimmo Järvinen. 211-218 [doi]
- On-the-Fly Multi-base Recoding for ECC Scalar Multiplication without Pre-computationsThomas Chabrier, Arnaud Tisserand. 219-228 [doi]
- Precision, Accuracy, and Rounding Error Propagation in Exascale ComputingMarius Cornea. 231-234 [doi]
- Numerical Reproducibility and Accuracy at ExaScaleJames Demmel, Hong Diep Nguyen. 235-237 [doi]