Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/arith/arith2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/arith/Badizadegan23,
author = {Nima D. Badizadegan},
title = {Newton-Raphson Integer Division for Area-Constrained Microcontrollers},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {9--15},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00024},
doi = {10.1109/ARITH58626.2023.00024},
timestamp = {Mon, 08 Apr 2024 20:48:38 +0200},
biburl = {https://dblp.org/rec/conf/arith/Badizadegan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BavierKSL23,
author = {Eric Bavier and
Nicholas Knight and
Hugues de Lassus Saint{-}Genies and
Eric Love},
title = {Vectorized Nonlinear Functions with the {RISC-V} Vector Extension},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {127--130},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00032},
doi = {10.1109/ARITH58626.2023.00032},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/BavierKSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BrisebarreF23,
author = {Nicolas Brisebarre and
Silviu{-}Ioan Filip},
title = {Towards Machine-Efficient Rational L\({}^{\mbox{{\(\infty\)}}}\)-Approximations
of Mathematical Functions},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {119--126},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00029},
doi = {10.1109/ARITH58626.2023.00029},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/BrisebarreF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BrisebarreMP23,
author = {Nicolas Brisebarre and
Jean{-}Michel Muller and
Joris Picot},
title = {Error in ulps of the multiplication or division by a correctly-rounded
function or constant in binary floating-point arithmetic},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {88},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00036},
doi = {10.1109/ARITH58626.2023.00036},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/BrisebarreMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BrisebarreMP23a,
author = {Nicolas Brisebarre and
Jean{-}Michel Muller and
Joris Picot},
title = {Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {89--92},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00027},
doi = {10.1109/ARITH58626.2023.00027},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/BrisebarreMP23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/DefourV23,
author = {David Defour and
Franck V{\'{e}}drine},
title = {Chromatic Analysis of Numerical Programs},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {97--100},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00012},
doi = {10.1109/ARITH58626.2023.00012},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/DefourV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/DesrentesDD23,
author = {Or{\'{e}}gane Desrentes and
Beno{\^{\i}}t Dupont de Dinechin and
Florent de Dinechin},
title = {Exact Fused Dot Product Add Operators},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {151--158},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00016},
doi = {10.1109/ARITH58626.2023.00016},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/DesrentesDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/FakhreddineR23,
author = {Youssef Fakhreddine and
Guillaume Revy},
title = {Using loop transformations for precision tuning in iterative programs},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {159--166},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00031},
doi = {10.1109/ARITH58626.2023.00031},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/FakhreddineR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/FlattP23,
author = {Oliver Flatt and
Pavel Panchekha},
title = {Making Interval Arithmetic Robust to Overflow},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {44--47},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00022},
doi = {10.1109/ARITH58626.2023.00022},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/FlattP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/GorodeckyS23,
author = {Danila A. Gorodecky and
Leonel Sousa},
title = {Scalable architecture of constant division on {FPGA}},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {16--23},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00025},
doi = {10.1109/ARITH58626.2023.00025},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/GorodeckyS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/GraillatIJL23,
author = {Stef Graillat and
Youness Ibrahimy and
Clothilde Jeangoudoux and
Christoph Quirin Lauter},
title = {A parallel compensated Horner scheme for {SIMD} architecture},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {131--138},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00010},
doi = {10.1109/ARITH58626.2023.00010},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/GraillatIJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/GraleS23,
author = {Trenton J. Grale and
Earl E. Swartzlander Jr.},
title = {Improved Montgomery Multiplication},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {60--67},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00019},
doi = {10.1109/ARITH58626.2023.00019},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/GraleS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/HubrechtJZ23,
author = {Tom Hubrecht and
Claude{-}Pierre Jeannerod and
Paul Zimmermann},
title = {Towards a correctly-rounded and fast power function in binary64 arithmetic},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {111--118},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00028},
doi = {10.1109/ARITH58626.2023.00028},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/HubrechtJZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/JaberipurGAL23,
author = {Ghassem Jaberipur and
Saeid Gorgin and
Navid Ahamadian and
Jeong{-}A Lee},
title = {Modulo-(2\({}^{\mbox{q}}\) - 3) Multiplication with Fully Modular
Partial Product Generation and Reduction},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {68--75},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00023},
doi = {10.1109/ARITH58626.2023.00023},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/JaberipurGAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KapoorFJK23,
author = {Ashish Kapoor and
Warren E. Ferguson and
Himanshu Jain and
Sudipta Kundu},
title = {Formal Verification of Floating-Point Division},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {93--96},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00018},
doi = {10.1109/ARITH58626.2023.00018},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/KapoorFJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KavvousanosSKPS23,
author = {Emmanouil Kavvousanos and
Vasilis Sakellariou and
Ioannis Kouretas and
Vassilis Paliouras and
Thanos Stouraitis},
title = {Improving Residue-Level Sparsity in RNS-based Neural Network Hardware
Accelerators via Regularization},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {102--109},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00020},
doi = {10.1109/ARITH58626.2023.00020},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/KavvousanosSKPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KellisonATB23,
author = {Ariel E. Kellison and
Andrew W. Appel and
Mohit Tekriwal and
David Bindel},
title = {LAProof: {A} Library of Formal Proofs of Accuracy and Correctness
for Linear Algebra Programs},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {36--43},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00021},
doi = {10.1109/ARITH58626.2023.00021},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/KellisonATB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/LamarliereMF23,
author = {Paul Geneau de Lamarli{\`{e}}re and
Guillaume Melquiond and
Florian Faissole},
title = {Slimmer Formal Proofs for Mathematical Libraries},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {32--35},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00026},
doi = {10.1109/ARITH58626.2023.00026},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/LamarliereMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/PascaL23,
author = {Bogdan Pasca and
Martin Langhammer},
title = {Extracting low-precision floating-point adders from embedded hard
{FP} {DSP} Blocks on FPGAs},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {139--142},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00017},
doi = {10.1109/ARITH58626.2023.00017},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/PascaL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/RenSS23,
author = {Pengchang Ren and
Reiji Suda and
Vorapong Suppakitpaisarn},
title = {Efficient Additions and Montgomery Reductions of Large Integers for
{SIMD}},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {48--59},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00034},
doi = {10.1109/ARITH58626.2023.00034},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/RenSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SafiehFS23,
author = {Malek Safieh and
Andreas Furch and
Fabrizio De Santis},
title = {An Efficient Barrett Reduction Algorithm for Gaussian Integer Moduli},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {76--83},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00011},
doi = {10.1109/ARITH58626.2023.00011},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/SafiehFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SakellariouPKSS23,
author = {Vasilis Sakellariou and
Vassilis Paliouras and
Ioannis Kouretas and
Hani H. Saleh and
Thanos Stouraitis},
title = {A multiplier-Free RNS-Based {CNN} accelerator exploiting bit-Level
sparsity},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {101},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00037},
doi = {10.1109/ARITH58626.2023.00037},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/SakellariouPKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SeoK23,
author = {Jihee Seo and
Dae{-}Hyun Kim},
title = {Dual-Purpose Hardware Algorithms and Architectures - Part 2: Integer
Division},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00014},
doi = {10.1109/ARITH58626.2023.00014},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/SeoK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SeoK23a,
author = {Jihee Seo and
Dae{-}Hyun Kim},
title = {Dual-Purpose Hardware Algorithms and Architectures - Part 1: Floating-Point
Division},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {24--31},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00013},
doi = {10.1109/ARITH58626.2023.00013},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/SeoK23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SohnDQW23,
author = {Jongwook Sohn and
David K. Dean and
Eric Quintana and
Wing Shek Wong},
title = {Enhanced Floating-Point Multiply-Add with Full Denormal Support},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {143--150},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00015},
doi = {10.1109/ARITH58626.2023.00015},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/SohnDQW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/TompaziK23,
author = {Styliani Tompazi and
Georgios Karakonstantis},
title = {AI-based Timing Error Modelling: {A} Case Study on a Pipelined Floating-point
Core},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {110},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00035},
doi = {10.1109/ARITH58626.2023.00035},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/TompaziK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/VollmerBT23,
author = {Morgane Vollmer and
Karim Bigou and
Arnaud Tisserand},
title = {Using Hierarchical Approach to Speed-up {RNS} Base Extensions in Homomorphic
Encryption Context},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {84--87},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00030},
doi = {10.1109/ARITH58626.2023.00030},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/VollmerBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arith/2023,
title = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023},
doi = {10.1109/ARITH58626.2023},
isbn = {979-8-3503-1922-4},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arith/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-08 12:48 CEST from data curated 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:
