ARITH

Keyphrases

Publications

2022

29th IEEE Symposium on Computer Arithmetic, ARITH 2022, Lyon, France, September 12-14, 2022 ARITH (2022)
Efstratios Zacharelos, Italo Nunziata, Gerardo Saggese, Antonio G. M. Strollo, Ettore Napoli
Approximate Recursive Multipliers Using Low Power Building Blocks. ARITH (2022)
Aurélien Greuet, Simon Montoya, Clémence Vermeersch
Quotient Approximation Modular Reduction. ARITH (2022)
Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller
High-level algorithms for correctly-rounded reciprocal square roots. ARITH (2022)
Samuel Coward, George A. Constantinides, Theo Drane
Automatic Datapath Optimization using E-Graphs. ARITH (2022)
Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu
The CORE-MATH Project. ARITH (2022)
Luca Bertaccini, Gianna Paulin, Tim Fischer, Stefan Mach, Luca Benini
MiniFloat-NN and ExSdotp: An ISA Extension and a Modular Open Hardware Unit for Low-Precision Training on RISC-V Cores. ARITH (2022)
Louise Ben Salem-Knapp, Sylvie Boldo, William Weens
Bounding the Round-Off Error of the Upwind Scheme for Advection. ARITH (2022)
Nicolas Méloni
An Alternative Approach to Polynomial Modular Number System Internal Reduction. ARITH (2022)
David Monniaux, Alice Pain
Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic. ARITH (2022)
David M. Russinoff, Javier Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju
Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. ARITH (2022)
Mark G. Arnold
Towards Quantum Logarithm Number Systems. ARITH (2022)
David Mallasén, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piñuel, Manuel Prieto-Matías
PERCIVAL: Open-Source Posit RISC-V Core With Quire Capability. ARITH (2022)
Laurent-Stéphane Didier, Jean-Marc Robert, Fangan-Yssouf Dosso, Nadia El Mrabet
A software comparison of RNS and PMNS. ARITH (2022)
Yves Durand, Eric Guthmuller, César Fuguet Tortolero, Jérôme Fereyre, Andrea Bocco, Riccardo Alidori
Accelerating Variants of the Conjugate Gradient with the Variable Precision Processor. ARITH (2022)
Malek Safieh, Fabrizio De Santis
Efficient Reduction Algorithms for Special Gaussian Integer Moduli. ARITH (2022)
Teodor-Dumitru Ene, James E. Stine
Point-Targeted Sparseness and Ling Transforms on Parallel Prefix Adder Trees. ARITH (2022)
Daichi Aoki, Kazuhiko Minematsu, Toshihiko Okamura, Tsuyoshi Takagi
Efficient Word Size Modular Multiplication over Signed Integers. ARITH (2022)
Fangan-Yssouf Dosso, Jean-Marc Robert, Pascal Véron
PMNS for efficient arithmetic and small memory cost. ARITH (2022)
Javier D. Bruguera
Low-Latency and High-Bandwidth Pipelined Radix-64 Division and Square Root Unit. ARITH (2022)
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit
The Positive Effects of Stochastic Rounding in Numerical Algorithms. ARITH (2022)
Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong
Enhanced Floating-Point Adder with Full Denormal Support. ARITH (2022)
John Osorio Ríos, Adrià Armejach, Eric Petit, Greg Henry, Marc Casas
A BF16 FMA is All You Need for DNN Training. ARITH (2022)
Jean-Claude Bajard, Kazuhide Fukushima, Thomas Plantard, Arnaud Sipasseuth
Generating Very Large RNS Bases. ARITH (2022)

2021