Search Results - [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic

Source: RAIM Meeting 2025: 16th Rencontres de l'Arithmétique en Informatique Mathématique ; https://hal.science/hal-05347564 ; RAIM Meeting 2025: 16th Rencontres de l'Arithmétique en Informatique Mathématique, Nov 2025, Lyon, France ; https://raim2025.sciencesconf.org/

Subject Terms: [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Lyon, France

Availability: https://hal.science/hal-05347564

View record from BASE

Nájsť tento článok vo Web of Science

8

Xvpfloat: RISC-V ISA Extension for Variable Extended Precision Floating Point Computation

Authors: Guthmuller, Eric Fuguet, César Bocco, Andrea et al.

Contributors: Guthmuller, Eric Fuguet, César Bocco, Andrea et al.

Source: IEEE Transactions on Computers

Subject Terms: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], 7. Clean energy

File Description: application/pdf

Access URL: https://cea.hal.science/cea-04546949v1
https://doi.org/10.1109/tc.2024.3383964
https://cea.hal.science/cea-04546949v1/document

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

9

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm

Authors: Arzelier, Denis Bréhard, Florent Joldes, Mioara et al.

Contributors: Arzelier, Denis Bréhard, Florent Joldes, Mioara et al.

Source: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :96-103

Subject Terms: D-finite function, Evaluation error, Error bound, Orbital collision probability, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Floating point arithmetic, Majorizing series

File Description: application/pdf

Nájsť tento článok vo Web of Science

10

Floating-point arithmetic

Authors: Boldo, Sylvie Jeannerod, Claude-Pierre Melquiond, Guillaume et al.

Contributors: Boldo, Sylvie Jeannerod, Claude-Pierre Melquiond, Guillaume et al.

Source: Acta Numerica. 32:203-290

Subject Terms: computer arithmetic, 0202 electrical engineering, electronic engineering, information engineering, Floating-point arithmetic, numerical computing, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 02 engineering and technology, 0101 mathematics, 01 natural sciences

File Description: application/pdf

Full Text Finder

Nájsť tento článok vo Web of Science

11

An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy

Authors: Lefèvre, Vincent

Contributors: Lefèvre, Vincent

Source: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :76-79

Subject Terms: rounding, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, floating-point, discontinuity

File Description: application/pdf

Access URL: https://inria.hal.science/hal-04566768v1
https://inria.hal.science/hal-04566768v1/document
https://doi.org/10.1109/arith61463.2024.00022

View record at OpenAIRE

Nájsť tento článok vo Web of Science

12

AdaQAT: Adaptive Bit-Width Quantization-Aware Training

Authors: Gernigon, Cédric Filip, Silviu-Ioan Sentieys, Olivier et al.

Contributors: Gernigon, Cédric Filip, Silviu-Ioan Sentieys, Olivier et al.

Source: 2024 IEEE 6th International Conference on AI Circuits and Systems (AICAS). :442-446

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Adaptive Bit-Width Optimization, Neural Network Compression, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Quantization Aware Training, Machine Learning (cs.LG)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.16876
https://hal.science/hal-04549245v1

View record at OpenAIRE

Nájsť tento článok vo Web of Science

13

Efficient and Validated Numerical Evaluation of Abelian Integrals

Authors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

Contributors: Florent Bréhard Nicolas Brisebarre Mioara Joldes et al.

Source: ACM Transactions on Mathematical Software. 50:1-38

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], limit cycles, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Abelian integral, Newton-like operator, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], 37M20, rigorous numerics, Hilbert's 16th problem, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Secondary: 37G15, 01 natural sciences, 2020 AMS classification: Primary: 34C07, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 42A10, trigonometric polynomial interpolation, 0101 mathematics, 42A15, 65G20

File Description: application/pdf

Access URL: https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2
https://doi.org/10.1145/3637550

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

14

Deterministic and probabilistic rounding error analysis of neural networks in floating-point arithmetic

Authors: Beuzeville, Théo Buttari, Alfredo Gratton, Serge et al.

Contributors: Beuzeville, Théo Buttari, Alfredo Gratton, Serge et al.

Source: ISSN: 0272-4979.

Subject Terms: rounding errors, backward error, probabilistic error analysis, artificial neural networks, error analysis, floating-point arithmetic, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

Availability: https://hal.science/hal-04663142
https://hal.science/hal-04663142v2/document
https://hal.science/hal-04663142v2/file/rounding_error_analysis_nn.pdf

View record from BASE

Nájsť tento článok vo Web of Science

15

Low-precision logarithmic arithmetic for neural network accelerators

Authors: Christ, Maxime de Dinechin, Florent Pétrot, Frédéric

Contributors: Christ, Maxime de Dinechin, Florent Pétrot, Frédéric

Source: 2022 IEEE 33rd International Conference on Application-specific Systems, Architectures and Processors (ASAP). :72-79

Subject Terms: Arithmetic, [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], 0202 electrical engineering, electronic engineering, information engineering, Neural network accelerator, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 02 engineering and technology, low precision, Logarithmic Number System, FPGA

File Description: application/pdf

Access URL: https://inria.hal.science/hal-03684585v1
https://inria.hal.science/hal-03684585v1/document
https://doi.org/10.1109/asap54787.2022.00021

View record at OpenAIRE

Nájsť tento článok vo Web of Science

16

A Stochastic Rounding-Enabled Low-Precision Floating-Point MAC for DNN Training

Authors: Ben Ali, Sami Filip, Silviu-Ioan Sentieys, Olivier et al.

Contributors: Ben Ali, Sami Filip, Silviu-Ioan Sentieys, Olivier et al.

Source: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE). :1-6

Subject Terms: FOS: Computer and information sciences, 0301 basic medicine, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], 0303 health sciences, 03 medical and health sciences, Hardware Architecture (cs.AR), stochastic rounding, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, low-precision MAC unit, Computer Science - Hardware Architecture, DNN

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.14010
https://hal.science/hal-04380270v3
https://hal.science/hal-04380270v3/document

View record at OpenAIRE

Nájsť tento článok vo Web of Science

17

SERA-Float: A Soft Error Resilient Approximate Floating-Point Computing Format

Authors: Mishra, Vishesh Traiola, Marcello Kritikakou, Angeliki et al.

Contributors: Mishra, Vishesh Traiola, Marcello Kritikakou, Angeliki et al.

Source: ICCAD 2025 - ACM/IEEE International Conference On Computer Aided Design ; https://inria.hal.science/hal-05333255 ; ICCAD 2025 - ACM/IEEE International Conference On Computer Aided Design, Oct 2025, Munich (Allemagne), Germany. pp.1-9

Subject Terms: Neural Networks, Fault-Tolerant Computing, Energy Efficiency, Floating-point Format, Approximate Computing, [INFO]Computer Science [cs], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Subject Geographic: Munich (Allemagne), Germany

Availability: https://inria.hal.science/hal-05333255
https://inria.hal.science/hal-05333255v1/document
https://inria.hal.science/hal-05333255v1/file/SERA_FLOAT_v2.pdf

View record from BASE

Nájsť tento článok vo Web of Science

18

Accurate Calculation of Euclidean Norms Using Double-word Arithmetic

Authors: Lefèvre, Vincent Louvet, Nicolas Muller, Jean-Michel et al.

Contributors: Lefèvre, Vincent Louvet, Nicolas Muller, Jean-Michel et al.

Source: ACM Transactions on Mathematical Software. 49:1-34

Subject Terms: Formalization, Euclidean norms, Square-root, 02 engineering and technology, 01 natural sciences, Floating-Point arithmetic, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Underflow, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], Overflow, 0202 electrical engineering, electronic engineering, information engineering, Double-double arithmetic, Coq, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Proof assistant, 0101 mathematics, Double-word arithmetic

File Description: application/pdf

Access URL: https://hal.science/hal-03482567v2/document
https://doi.org/10.1145/3568672
https://hal.science/hal-03482567v2

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

19

Modular Multiplication in the AMNS Representation: Hardware Implementation

Authors: Noyez, Louis El Mrabet, Nadia Potin, Olivier et al.

Contributors: Noyez, Louis El Mrabet, Nadia Potin, Olivier et al.

Source: Lecture Notes in Computer Science ISBN: 9783031828409

Subject Terms: [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, AMNS, AMNS Montgomery multiplication Hardware Implementation, Hardware Implementation, Montgomery multiplication

File Description: application/pdf

Access URL: https://hal.science/hal-04691484v1

View record at OpenAIRE

Nájsť tento článok vo Web of Science

20

Five-Precision GMRES-Based Iterative Refinement

Authors: Amestoy, Patrick Buttari, Alfredo Higham, Nicholas et al.

Contributors: Amestoy, Patrick Buttari, Alfredo Higham, Nicholas et al.

Source: Amestoy, P, Buttari, A, Higham, N J, L’EXCELLENT, JEAN-YVES, Mary, T & Vieuble, B 2023, 'FIVE-PRECISION GMRES-BASED ITERATIVE REFINEMENT ∗', SIAM Journal on Matrix Analysis and Applications.

Subject Terms: mixed precision, floating-point arithmetic, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, 4. Education, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], GMRES, rounding error analysis, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], preconditioning, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], iterative refinement, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, linear system, multiple precision, 65G50, backward error, forward error, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

File Description: application/pdf

Access URL: https://research.manchester.ac.uk/en/publications/f377b09f-1e32-4247-8494-0c69c7763410
https://pure.manchester.ac.uk/ws/files/281551091/paper.pdf
https://research.manchester.ac.uk/en/publications/f377b09f-1e32-4247-8494-0c69c7763410

View record at OpenAIRE

Nájsť tento článok vo Web of Science

Search Results - [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic

Search Tools:

Refine Results

Format

Subject

Publisher

Published in

Source

Geography

Collection

Year of Publication