| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Youssef Fakhreddine, Guillaume Revy |
Using loop transformations for precision tuning in iterative programs.  |
ARITH  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong |
Enhanced Floating-Point Multiply-Add with Full Denormal Support. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole |
Slimmer Formal Proofs for Mathematical Libraries. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima D. Badizadegan |
Newton-Raphson Integer Division for Area-Constrained Microcontrollers. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Defour, Franck Védrine |
Chromatic Analysis of Numerical Programs. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Styliani Tompazi, Georgios Karakonstantis |
AI-based Timing Error Modelling: A Case Study on a Pipelined Floating-point Core. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jihee Seo, Dae-Hyun Kim 0004 |
Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer Division. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Pasca 0001, Martin Langhammer |
Extracting low-precision floating-point adders from embedded hard FP DSP Blocks on FPGAs. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
Formal Verification of Floating-Point Division. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jihee Seo, Dae-Hyun Kim 0004 |
Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point Division. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Malek Safieh, Andreas Furch, Fabrizio De Santis |
An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Flatt, Pavel Panchekha |
Making Interval Arithmetic Robust to Overflow. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghassem Jaberipur, Saeid Gorgin 0001, Navid Ahamadian, Jeong-A Lee |
Modulo-(2q - 3) Multiplication with Fully Modular Partial Product Generation and Reduction. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Trenton J. Grale, Earl E. Swartzlander Jr. |
Improved Montgomery Multiplication. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brisebarre, Jean-Michel Muller, Joris Picot |
Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bavier, Nicholas Knight, Hugues de Lassus Saint-Genies, Eric Love |
Vectorized Nonlinear Functions with the RISC-V Vector Extension. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brisebarre, Silviu-Ioan Filip |
Towards Machine-Efficient Rational L∞-Approximations of Mathematical Functions. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Danila A. Gorodecky, Leonel Sousa |
Scalable architecture of constant division on FPGA. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann |
Towards a correctly-rounded and fast power function in binary64 arithmetic. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasilis Sakellariou, Vassilis Paliouras, Ioannis Kouretas, Hani H. Saleh, Thanos Stouraitis |
A multiplier-Free RNS-Based CNN accelerator exploiting bit-Level sparsity. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Portland, OR, USA, September 4-6, 2023 |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgane Vollmer, Karim Bigou, Arnaud Tisserand |
Using Hierarchical Approach to Speed-up RNS Base Extensions in Homomorphic Encryption Context. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengchang Ren, Reiji Suda, Vorapong Suppakitpaisarn |
Efficient Additions and Montgomery Reductions of Large Integers for SIMD. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin |
Exact Fused Dot Product Add Operators. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter |
A parallel compensated Horner scheme for SIMD architecture. |
ARITH |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Alice Pain |
Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark G. Arnold |
Towards Quantum Logarithm Number Systems. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Bajard, Kazuhide Fukushima, Thomas Plantard, Arnaud Sipasseuth |
Generating Very Large RNS Bases. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Méloni |
An Alternative Approach to Polynomial Modular Number System Internal Reduction. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Russinoff, Javier D. 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jongwook Sohn, David K. Dean, Eric Quintana, Wing Shek Wong |
Enhanced Floating-Point Adder with Full Denormal Support. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Coward, George A. Constantinides, Theo Drane |
Automatic Datapath Optimization using E-Graphs. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller |
High-level algorithms for correctly-rounded reciprocal square roots. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Efstratios Zacharelos, Italo Nunziata, Gerardo Saggese, Antonio G. M. Strollo, Ettore Napoli |
Approximate Recursive Multipliers Using Low Power Building Blocks. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangan-Yssouf Dosso, Jean-Marc Robert 0003, Pascal Véron |
PMNS for efficient arithmetic and small memory cost. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu |
The CORE-MATH Project. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bertaccini, Gianna Paulin, Tim Fischer 0001, 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daichi Aoki, Kazuhiko Minematsu, Toshihiko Okamura, Tsuyoshi Takagi |
Efficient Word Size Modular Multiplication over Signed Integers. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier D. Bruguera |
Low-Latency and High-Bandwidth Pipelined Radix-64 Division and Square Root Unit. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise Ben Salem-Knapp, Sylvie Boldo, William Weens |
Bounding the Round-Off Error of the Upwind Scheme for Advection. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodor-Dumitru Ene, James E. Stine |
Point-Targeted Sparseness and Ling Transforms on Parallel Prefix Adder Trees. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélien Greuet, Simon Montoya, Clémence Vermeersch |
Quotient Approximation Modular Reduction. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent-Stéphane Didier, Jean-Marc Robert 0003, Fangan-Yssouf Dosso, Nadia El Mrabet |
A software comparison of RNS and PMNS. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
29th IEEE Symposium on Computer Arithmetic, ARITH 2022, Lyon, France, September 12-14, 2022 |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Malek Safieh, Fabrizio De Santis |
Efficient Reduction Algorithms for Special Gaussian Integer Moduli. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro, Eric Petit 0002 |
The Positive Effects of Stochastic Rounding in Numerical Algorithms. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Osorio Ríos, Adrià Armejach, Eric Petit 0002, Greg Henry, Marc Casas |
A BF16 FMA is All You Need for DNN Training. |
ARITH |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mallasén, Raul Murillo 0001, 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Muller |
$a \cdot(x\cdot\ x)$ or $(a\cdot x)\cdot x?$. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Bajard, Kazuhide Fukushima, Shinsaku Kiyomoto, Thomas Plantard, Arnaud Sipasseuth, Willy Susilo |
Generating Residue Number System Bases. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Böttcher, Martin Kumm, Florent de Dinechin |
Resource Optimal Truncated Multipliers for FPGAs. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomonori Kouya |
Acceleration of LU decomposition supporting double-double, triple-double, and quadruple-double precision floating-point arithmetic with AVX2. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Guillaume Melquiond |
Some Formal Tools for Computer Arithmetic: Flocq and Gappa. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit 0002 |
Shadow computation with BFloat16 to estimate the numerical accuracy of summations. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit 0002, Alan Vaquet |
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chai Wah Wu |
Dither computing: a hybrid deterministic-stochastic computing framework. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brunie |
Manifest for an Approximation Exchange Format. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mojtaba Bisheh-Niasar, Reza Azarderakhsh, Mehran Mozaffari Kermani |
High-Speed NTT-based Polynomial Multiplication Accelerator for Post-Quantum Cryptography. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock |
Combining Precision Tuning and Rewriting. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Gustafsson, Noah Hellman |
Approximate Floating-Point Operations with Integer Units by Processing in the Logarithmic Domain. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rami Elkhatib, Reza Azarderakhsh, Mehran Mozaffari Kermani |
Accelerated RISC-V for SIKE. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Parrot, Mikaël Briday, Olivier H. Roux |
Pipeline Optimization using a Cost Extension of Timed Petri Nets. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Doaa Ashmawy, Arash Reyhani-Masoleh |
A Faster Hardware Implementation of the AES S-box. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Garofalo, Giuseppe Tagliavini, Francesco Conti 0001, Luca Benini, Davide Rossi |
XpulpNN: Enabling Energy Efficient and Flexible Inference of Quantized Neural Networks on RISC-V based IoT End Nodes. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Bigou, Mojtaba Bisheh-Niasar, Luís Fiolhais, Rogerio Paludo, Hwajeong Seo |
External Reviewers ARITH 2021. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Titouan Coladon, Philippe Elbaz-Vincent, Cyril Hugounenq |
MPHELL: A fast and robust library with unified and versatile arithmetics for elliptic curves cryptography. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Fasi, Mantas Mikaitis |
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nestor Demeure, Cédric Chevalier, Christophe Denis, Pierre Dossantos-Uzarralde |
Tagged error: tracing numerical error through computations. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
28th IEEE Symposium on Computer Arithmetic, ARITH 2021, Lyngby, Denmark, June 14-16, 2021 |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgos Dimitrakopoulos, Kleanthis Papachatzopoulos, Vassilis Paliouras |
Sum Propagate Adders. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Revy |
Analyzing the impact of floating-point precision adaptation in iterative programs. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Hormigo, Gabriel Caffarena |
FPGA acceleration of bit-true simulations for word-length optimization. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent de Dinechin, Silviu-Ioan Filip, Martin Kumm, Anastasia Volkova |
Towards Arithmetic-Centered Filter Design. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Plantard |
Efficient Word Size Modular Arithmetic. |
ARITH |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Gu, Shuguo Li |
A Novel Method of Modular Multiplication Based on Karatsuba-like Multiplication. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Böttcher, Keanu Kullmann, Martin Kumm |
Heuristics for the Design of Large Multipliers for FPGAs. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Nannarelli |
Variable Precision 16-Bit Floating-Point Vector Unit for Embedded Processors. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit 0002 |
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Coward, Theo Drane, Yoav Harel |
Automatic Design Space Exploration for an Error Tolerant Application. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef Graillat, Vincent Lefèvre, Jean-Michel Muller |
Alternative Split Functions and Dekker's Product. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kleanthis Papachatzopoulos, Vassilis Paliouras |
Maximum Delay Models for Parallel-Prefix Adders in the Presence of Threshold Voltage Variations. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rami Elkhatib, Reza Azarderakhsh, Mehran Mozaffari Kermani |
Highly Optimized Montgomery Multiplier for SIKE Primes on FPGA. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Hormigo, Julio Villalba-Moreno, Sonia Gonzalez-Navarro |
Floating-Point Fused Multiply-Add under HUB Format. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
27th IEEE Symposium on Computer Arithmetic, ARITH 2020, Portland, OR, USA, June 7-10, 2020 |
ARITH |
2020 |
DBLP BibTeX RDF |
|
| 1 | Yoann Marquer, Tania Richmond |
A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Quirin Lauter, Anastasia Volkova |
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Bajard, Julien Eynard, Paulo Martins 0002, Leonel Sousa, Vincent Zucca |
An asymptotically faster version of FV supported on HPR. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire |
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lindstrom 0001 |
Variable-Radix Coding of the Reals. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mantas Mikaitis |
Issues with rounding in the GCC implementation of the ISO 18037: 2008 standard fixed-point arithmetic. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mioara Joldes, Jean-Michel Muller |
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Johnson |
Efficient, arbitrarily high precision hardware logarithmic arithmetic for linear algebra. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hickmann, Jieasheng Chen, Michael Rotzin, Andrew Yang, Maciej Urbanski, Sasikanth Avancha |
Intel Nervana Neural Network Processor-T (NNP-T) Fused Floating Point Many-Term Dot Product. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Payer, Cédric Lichtenau, Michael Klein, Kerstin Schelm, Petra Leber, Nicol Hofmann, Tina Babinsky |
SIMD Multi Format Floating-Point Unit on the IBM z15(TM). |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mojtaba Bisheh-Niasar, Rami El Khatib, Reza Azarderakhsh, Mehran Mozaffari Kermani |
Fast, Small, and Area-Time Efficient Architectures for Key-Exchange on Curve25519. |
ARITH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Optimal Bounds for Floating-Point Addition in Constant Time. |
ARITH |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license