Login / Signup
ARITH
2015
2018
2021
2024
2015
2024
Keyphrases
Publications
2024
Mantas Mikaitis
MATLAB Simulator of Level-Index Arithmetic.
ARITH
(2024)
Mikael Henriksson
,
Theodor Lindberg
,
Oscar Gustafsson
APyTypes: Algorithmic Data Types in Python for Efficient Simulation of Finite Word-Length Effects.
ARITH
(2024)
Joris van der Hoeven
,
Fredrik Johansson
Fast multiple precision exp(x) with precomputations.
ARITH
(2024)
David Du Pont
,
Jonas Bertels
,
Furkan Turan
,
Michiel Van Beirendonck
,
Ingrid Verbauwhede
Hardware Acceleration of the Prime-Factor and Rader NTT for BGV Fully Homomorphic Encryption.
ARITH
(2024)
Martin Langhammer
,
Bogdan Pasca
,
Igor Kucherenko
Multiplier Architecture with a Carry-Based Partial Product Encoding.
ARITH
(2024)
José T. de Sousa
,
João D. Lopes
,
Micaela Serôdio
,
Horácio C. Neto
,
Mário P. Véstias
PT-Float: A Floating-Point Unit with Dynamically Varying Exponent and Fraction Sizes.
ARITH
(2024)
Ziying Cui
,
Ke Chen
,
Bi Wu
,
Chenggang Yan
,
Yu Gong
,
Weiqiang Liu
A Time Efficient Comprehensive Model of Approximate Multipliers for Design Space Exploration.
ARITH
(2024)
Zabihollah Ahmadpour
,
Ghassem Jaberipur
,
Jeong-A Lee
Montgomery Modular Multiplication via Single-Base Residue Number Systems.
ARITH
(2024)
Theo Drane
,
Samuel Coward
,
Mertcan Temel
,
Joe Leslie-Hurd
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.
ARITH
(2024)
31st IEEE Symposium on Computer Arithmetic, ARITH 2024, Malaga, Spain, June 10-12, 2024
ARITH
(2024)
David Raymond Lutz
,
Anisha Saini
,
Mairin Kroes
,
Thomas Elmer
,
Harsha Valsaraju
Fused FP8 4-Way Dot Product With Scaling and FP32 Accumulation.
ARITH
(2024)
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
,
Marc Mezzarobba
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm.
ARITH
(2024)
Vassil S. Dimitrov
,
Richard Ford
,
Laurent Imbert
,
Arjuna Madanayake
,
Nilan Udayanga
,
Will Wray
Multiple-base Logarithmic Quantization and Application in Reduced Precision AI Computations.
ARITH
(2024)
Décio Luiz Gazzoni Filho
,
Guilherme Brandão
,
Gora Adj
,
Arwa Alblooshi
,
Isaac A. Canales-Martínez
,
Jorge Chávez-Saab
,
Julio López
PQC-AMX: Accelerating Saber and FrodoKEM on the Apple M1 and M3 SoCs.
ARITH
(2024)
Zeynep Kaya
,
Mario Garrido
Novel Access Patterns Based on Overlapping Loading and Processing Times to Reduce Latency and Increase Throughput in Memory-based FFTs.
ARITH
(2024)
Hui Chen
,
Lianghua Quan
,
Weiqiang Liu
HGH-CORDIC: A High-Radix Generalized Hyperbolic COordinate Rotation Digital Computer.
ARITH
(2024)
Tom Hubrecht
,
Claude-Pierre Jeannerod
,
Jean-Michel Muller
Useful applications of correctly-rounded operators of the form ab + cd + e.
ARITH
(2024)
Andreas Böttcher
,
Martin Kumm
Small Logic-based Multipliers with Incomplete Sub-Multipliers for FPGAs.
ARITH
(2024)
Vincent Lefèvre
An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy.
ARITH
(2024)
Ping Tak
,
Peter Tang
An Open-Source RISC-V Vector Math Library.
ARITH
(2024)
Raul Murillo
,
Alberto A. Del Barrio
,
Guillermo Botella
Square Root Unit with Minimum Iterations for Posit Arithmetic.
ARITH
(2024)
Samuel Coward
,
Theo Drane
,
Emiliano Morini
,
George A. Constantinides
Combining Power and Arithmetic Optimization via Datapath Rewriting.
ARITH
(2024)
2023
Jihee Seo
,
Dae-Hyun Kim
Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division.
ARITH
(2023)
Orégane Desrentes
,
Benoît Dupont de Dinechin
,
Florent de Dinechin
Exact Fused Dot Product Add Operators.
ARITH
(2023)
Ashish Kapoor
,
Warren E. Ferguson
,
Himanshu Jain
,
Sudipta Kundu
Formal Verification of Floating-Point Division.
ARITH
(2023)
Pengchang Ren
,
Reiji Suda
,
Vorapong Suppakitpaisarn
Efficient Additions and Montgomery Reductions of Large Integers for SIMD.
ARITH
(2023)
Bogdan Pasca
,
Martin Langhammer
Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs.
ARITH
(2023)
Malek Safieh
,
Andreas Furch
,
Fabrizio De Santis
An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli.
ARITH
(2023)
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)
Morgane Vollmer
,
Karim Bigou
,
Arnaud Tisserand
Using Hierarchical Approach to Speed-up RNS Base Extensions in Homomorphic Encryption Context.
ARITH
(2023)
Jihee Seo
,
Dae-Hyun Kim
Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer Division.
ARITH
(2023)
David Defour
,
Franck Védrine
Chromatic Analysis of Numerical Programs.
ARITH
(2023)
30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023
ARITH
(2023)
Oliver Flatt
,
Pavel Panchekha
Making Interval Arithmetic Robust to Overflow.
ARITH
(2023)
Styliani Tompazi
,
Georgios Karakonstantis
AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core.
ARITH
(2023)
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.
ARITH
(2023)
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)
Nicolas Brisebarre
,
Silviu-Ioan Filip
-Approximations of Mathematical Functions.
ARITH
(2023)
Paul Geneau de Lamarlière
,
Guillaume Melquiond
,
Florian Faissole
Slimmer Formal Proofs for Mathematical Libraries.
ARITH
(2023)
Tom Hubrecht
,
Claude-Pierre Jeannerod
,
Paul Zimmermann
Towards a correctly-rounded and fast power function in binary64 arithmetic.
ARITH
(2023)
Vasilis Sakellariou
,
Vassilis Paliouras
,
Ioannis Kouretas
,
Hani H. Saleh
,
Thanos Stouraitis
A multiplier-Free RNS-Based CNN accelerator exploiting bit-Level sparsity.
ARITH
(2023)
Danila A. Gorodecky
,
Leonel Sousa
Scalable architecture of constant division on FPGA.
ARITH
(2023)
Youssef Fakhreddine
,
Guillaume Revy
Using loop transformations for precision tuning in iterative programs.
ARITH
(2023)
Jongwook Sohn
,
David K. Dean
,
Eric Quintana
,
Wing Shek Wong
Enhanced Floating-Point Multiply-Add with Full Denormal Support.
ARITH
(2023)
Eric Bavier
,
Nicholas Knight
,
Hugues de Lassus Saint-Genies
,
Eric Love
Vectorized Nonlinear Functions with the RISC-V Vector Extension.
ARITH
(2023)
Stef Graillat
,
Youness Ibrahimy
,
Clothilde Jeangoudoux
,
Christoph Quirin Lauter
A parallel compensated Horner scheme for SIMD architecture.
ARITH
(2023)
Trenton J. Grale
,
Earl E. Swartzlander Jr.
Improved Montgomery Multiplication.
ARITH
(2023)
Nicolas Brisebarre
,
Jean-Michel Muller
,
Joris Picot
Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform.
ARITH
(2023)
Ghassem Jaberipur
,
Saeid Gorgin
,
Navid Ahamadian
,
Jeong-A Lee
- 3) Multiplication with Fully Modular Partial Product Generation and Reduction.
ARITH
(2023)
Nima D. Badizadegan
Newton-Raphson Integer Division for Area-Constrained Microcontrollers.
ARITH
(2023)