default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th ARITH 2023: Portland, OR, USA
- 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023. IEEE 2023, ISBN 979-8-3503-1922-4
- Jihee Seo, Dae-Hyun Kim
:
Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer Division. 1-8 - Nima D. Badizadegan:
Newton-Raphson Integer Division for Area-Constrained Microcontrollers. 9-15 - Danila A. Gorodecky, Leonel Sousa:
Scalable architecture of constant division on FPGA. 16-23 - Jihee Seo, Dae-Hyun Kim:
Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division. 24-31 - Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole:
Slimmer Formal Proofs for Mathematical Libraries. 32-35 - Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel:
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs. 36-43 - Oliver Flatt, Pavel Panchekha:
Making Interval Arithmetic Robust to Overflow. 44-47 - Pengchang Ren, Reiji Suda, Vorapong Suppakitpaisarn:
Efficient Additions and Montgomery Reductions of Large Integers for SIMD. 48-59 - Trenton J. Grale, Earl E. Swartzlander Jr.:
Improved Montgomery Multiplication. 60-67 - Ghassem Jaberipur, Saeid Gorgin, Navid Ahamadian, Jeong-A Lee:
Modulo-(2q - 3) Multiplication with Fully Modular Partial Product Generation and Reduction. 68-75 - Malek Safieh, Andreas Furch, Fabrizio De Santis:
An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli. 76-83 - Morgane Vollmer, Karim Bigou, Arnaud Tisserand:
Using Hierarchical Approach to Speed-up RNS Base Extensions in Homomorphic Encryption Context. 84-87 - Nicolas Brisebarre, Jean-Michel Muller, Joris Picot:
Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic. 88 - Nicolas Brisebarre, Jean-Michel Muller, Joris Picot:
Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform. 89-92 - Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu:
Formal Verification of Floating-Point Division. 93-96 - David Defour, Franck Védrine:
Chromatic Analysis of Numerical Programs. 97-100 - Vasilis Sakellariou, Vassilis Paliouras, Ioannis Kouretas, Hani Saleh, Thanos Stouraitis:
A multiplier-Free RNS-Based CNN accelerator exploiting bit-Level sparsity. 101 - Emmanouil Kavvousanos, Vasilis Sakellariou, Ioannis Kouretas, Vassilis Paliouras, Thanos Stouraitis:
Improving Residue-Level Sparsity in RNS-based Neural Network Hardware Accelerators via Regularization. 102-109 - Styliani Tompazi, Georgios Karakonstantis:
AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core. 110 - Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann:
Towards a correctly-rounded and fast power function in binary64 arithmetic. 111-118 - Nicolas Brisebarre, Silviu-Ioan Filip:
Towards Machine-Efficient Rational L∞-Approximations of Mathematical Functions. 119-126 - Eric Bavier, Nicholas Knight, Hugues de Lassus Saint-Genies, Eric Love:
Vectorized Nonlinear Functions with the RISC-V Vector Extension. 127-130 - Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter:
A parallel compensated Horner scheme for SIMD architecture. 131-138 - Bogdan Pasca, Martin Langhammer:
Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. 139-142 - Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong:
Enhanced Floating-Point Multiply-Add with Full Denormal Support. 143-150 - Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin:
Exact Fused Dot Product Add Operators. 151-158 - Youssef Fakhreddine, Guillaume Revy:
Using loop transformations for precision tuning in iterative programs. 159-166
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.
last updated on 2026-05-01 23:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
