- Oliver Flatt, Pavel Panchekha:
Making Interval Arithmetic Robust to Overflow. ARITH 2023: 44-47 - Danila A. Gorodecky, Leonel Sousa:
Scalable architecture of constant division on FPGA. ARITH 2023: 16-23 - Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter:
A parallel compensated Horner scheme for SIMD architecture. ARITH 2023: 131-138 - Trenton J. Grale, Earl E. Swartzlander Jr.:
Improved Montgomery Multiplication. ARITH 2023: 60-67 - Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann:
Towards a correctly-rounded and fast power function in binary64 arithmetic. ARITH 2023: 111-118 - Ghassem Jaberipur, Saeid Gorgin, Navid Ahamadian, Jeong-A Lee:
Modulo-(2q - 3) Multiplication with Fully Modular Partial Product Generation and Reduction. ARITH 2023: 68-75 - Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu:
Formal Verification of Floating-Point Division. ARITH 2023: 93-96 - Emmanouil Kavvousanos, Vasilis Sakellariou, Ioannis Kouretas, Vassilis Paliouras, Thanos Stouraitis:
Improving Residue-Level Sparsity in RNS-based Neural Network Hardware Accelerators via Regularization. ARITH 2023: 102-109 - Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel:
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. ARITH 2023: 36-43 - Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole:
Slimmer Formal Proofs for Mathematical Libraries. ARITH 2023: 32-35 - Bogdan Pasca, Martin Langhammer:
Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. ARITH 2023: 139-142 - Pengchang Ren, Reiji Suda, Vorapong Suppakitpaisarn:
Efficient Additions and Montgomery Reductions of Large Integers for SIMD. ARITH 2023: 48-59 - Malek Safieh, Andreas Furch, Fabrizio De Santis:
An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli. ARITH 2023: 76-83 - Vasilis Sakellariou, Vassilis Paliouras, Ioannis Kouretas, Hani H. Saleh, Thanos Stouraitis:
A multiplier-Free RNS-Based CNN accelerator exploiting bit-Level sparsity. ARITH 2023: 101 - Jihee Seo, Dae-Hyun Kim:
Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer Division. ARITH 2023: 1-8 - Jihee Seo, Dae-Hyun Kim:
Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division. ARITH 2023: 24-31 - Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong:
Enhanced Floating-Point Multiply-Add with Full Denormal Support. ARITH 2023: 143-150 - Styliani Tompazi, Georgios Karakonstantis:
AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core. ARITH 2023: 110 - Morgane Vollmer, Karim Bigou, Arnaud Tisserand:
Using Hierarchical Approach to Speed-up RNS Base Extensions in Homomorphic Encryption Context. ARITH 2023: 84-87 - 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023. IEEE 2023, ISBN 979-8-3503-1922-4 [contents]
- 2022
- Daichi Aoki, Kazuhiko Minematsu, Toshihiko Okamura, Tsuyoshi Takagi:
Efficient Word Size Modular Multiplication over Signed Integers. ARITH 2022: 94-101 - El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit:
The Positive Effects of Stochastic Rounding in Numerical Algorithms. ARITH 2022: 58-65 - Mark G. Arnold:
Towards Quantum Logarithm Number Systems. ARITH 2022: 76-83 - Jean-Claude Bajard, Kazuhide Fukushima, Thomas Plantard, Arnaud Sipasseuth:
Generating Very Large RNS Bases. ARITH 2022: 102 - 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: 1-8 - Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller:
High-level algorithms for correctly-rounded reciprocal square roots. ARITH 2022: 18-25 - Javier D. Bruguera:
Low-Latency and High-Bandwidth Pipelined Radix-64 Division and Square Root Unit. ARITH 2022: 10-17 - Samuel Coward, George A. Constantinides, Theo Drane:
Automatic Datapath Optimization using E-Graphs. ARITH 2022: 43-50 - Laurent-Stéphane Didier, Jean-Marc Robert, Fangan-Yssouf Dosso, Nadia El Mrabet:
A software comparison of RNS and PMNS. ARITH 2022: 86-93 - Fangan-Yssouf Dosso, Jean-Marc Robert, Pascal Véron:
PMNS for efficient arithmetic and small memory cost. ARITH 2022: 84