default search action
24th ARITH 2017: London, UK
- Neil Burgess, Javier D. Bruguera, Florent de Dinechin:
24th IEEE Symposium on Computer Arithmetic, ARITH 2017, London, United Kingdom, July 24-26, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1965-0
Session 1: Keynote Talk 1
- Nicholas John Higham:
The Rise of Multiprecision Arithmetic. 1
Session 2: Multiprecision Arithmetic
- Joris van der Hoeven:
Multiple Precision Floating-Point Arithmetic on SIMD Processors. 2-9 - Zhe Liu, Kimmo Järvinen, Weiqiang Liu, Hwajeong Seo:
Multiprecision Multiplication on ARMv8. 10-17 - Vincent Lefèvre, Paul Zimmermann:
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. 18-26 - Mioara Joldes, Jean-Michel Muller, Valentina Popescu:
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming. 27-34
Session 3: Algorithms
- Vassil S. Dimitrov, Viduneth Ariyarathna, Diego F. G. Coelho, Logan Rakai, Arjuna Madanayake, Renato J. Cintra:
A Parallel Method for the Computation of Matrix Exponential Based on Truncated Neumann Series. 35-42 - Oscar Gustafsson:
On Lifting-Based Fixed-Point Complex Multiplications and Rotations. 43-49 - Álvaro Vázquez, Elisardo Antelo:
A Number System Approach for Adder Topologies. 50-57
Session 4 - Special Session: Computer Arithmetic and DSP
- Kenneth C. Rovers, Sam Elliott:
On Improving the Performance Per Area of ASTC with a Multi-output Decoder. 58-59 - François Serre, Markus Püschel:
Optimal Streamed Linear Permutations. 60-61 - Oscar Gustafsson, Erik Bertilsson, Johannes Klasson, Carl Ingemarsson:
Approximate Neumann Series or Exact Matrix Inversion for Massive MIMO? 62-63 - Martin Langhammer, Bogdan Pasca:
Floating Point Tangent Implementation for FPGAs. 64-65
Session 5: Floating-Point Error Analysis
- Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet:
The Classical Relative Error Bounds for Computing Sqrt(a^2 + b^2) and c / sqrt(a^2 + b^2) in Binary Floating-Point Arithmetic are Asymptotically Optimal. 66-73 - Alexandre Rocca, Victor Magron, Thao Dang:
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. 74-81 - Sylvie Boldo, Florian Faissole, Alexandre Chapoutot:
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. 82-89 - Marius Cornea:
ULPs and Relative Error. 90-97
Session 6: Hardware for Fast and Reproducible Arithmetic
- David Raymond Lutz, Christopher Neal Hinds:
High-Precision Anchored Accumulators for Reproducible Floating-Point Summation. 98-105 - Nicolas Brunie:
Modified Fused Multiply and Add for Exact Low Precision Product Accumulation. 106-113 - Jack Koenig, David Biancolin, Jonathan Bachrach, Krste Asanovic:
A Hardware Accelerator for Computing an Exact Dot Product. 114-121
Session 7: Keynote Talk 2
- Jean-Christophe Rioual:
Large Scale Numerical Simulations of the Climate. 122
Session 8: Arithmetic in FPGAs
- Matei Istoan, Bogdan Pasca:
Flexible Fixed-Point Function Generation for FPGAs. 123-130 - Martin Kumm, Johannes Kappauf, Matei Istoan, Peter Zipf:
Resource Optimal Design of Large Multipliers for FPGAs. 131-138
Session 9 - Special Session: Realizing Efficient Matrix Computations
- Nicholas Malaya, Shuai Che, Joseph L. Greathouse, René van Oostrum, Michael J. Schulte:
Accelerating Matrix Processing with GPUs. 139-141 - George Anthony Constantinides:
Algorithms and Arithmetic: Choose Wisely. 142-143 - Murat Efe Guney, Kazushige Goto, Timothy B. Costa, Sarah Knepper, Louise Huot, Arthur Mitrano, Shane Story:
Optimizing Matrix Multiplication on Intel® Xeon Phi TH x200 Architecture. 144-145 - Martin Langhammer:
QRD for Parallel Arithmetic Structures. 146-147
Session 10: Cryptography
- Joppe W. Bos, Simon Friedberger:
Fast Arithmetic Modulo 2x py ± 1. 148-155 - Andrea Lesavourey, Christophe Nègre, Thomas Plantard:
Efficient Leak Resistant Modular Exponentiation in RNS. 156-163 - Amin Monfared, Hayssam El-Razouk, Arash Reyhani-Masoleh:
A New Multiplicative Inverse Architecture in Normal Basis Using Novel Concurrent Serial Squaring and Multiplication. 164-171
Session 11: Miscellaneous Topics in Computer Arithmetic
- Álvaro Vázquez, Elisardo Antelo:
A Sum Error Detection Scheme for Decimal Arithmetic. 172-179 - Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire:
Reliable Verification of Digital Implemented Filters Against Frequency Specifications. 180-187
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.