


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














