Correctly-Rounded Evaluation of a Function: Why, How, and at What Cost?

Συγγραφείς: Brisebarre, Nicolas, Hanrot, Guillaume, Muller, Jean-Michel, Zimmermann, Paul

Συνεισφορές: Muller, Jean-Michel

Πηγή: ACM Computing Surveys. 58:1-34

Θεματικοί όροι: algorithmic number theory, standardization, elementary functions, floating-point arithmetic, LLL algorithm, lattice basis reduction, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, approximation theory, Computer arithmetic, Correct rounding, Table maker's dilemma

Περιγραφή αρχείου: application/pdf

Truncated QR Factorization with Pivoting in Mixed Precision: Truncated QR factorization with pivoting in mixed precision

Συγγραφείς: Buttari, Alfredo, Mary, Theo, Pacteau, André

Συνεισφορές: Buttari, Alfredo

Πηγή: SIAM Journal on Scientific Computing. 47:B382-B401

Θεματικοί όροι: mixed precision, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], Roundoff error, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], Mixed-precision algorithms, low-rank approximations, QR factorization, Numerical methods for low-rank matrix approximation, matrix compression, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic

Περιγραφή αρχείου: application/xml; application/pdf

Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic

Συγγραφείς: Graillat, Stef, Muller, Jean-Michel

Συνεισφορές: Muller, Jean-Michel

Πηγή: Numerische Mathematik.

Θεματικοί όροι: triple-word arithmetic, fused multiply-add, double-word arithmetic, Error-free transforms, FMA, Floating-point arithmetic, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, ADD3

Περιγραφή αρχείου: application/pdf

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

Συγγραφείς: Guthmuller, Eric, Fuguet, César, Bocco, Andrea, Fereyre, Jérôme, Alidori, Riccardo, Tahir, Ihsane, Durand, Yves

Συνεισφορές: CEA, Contributeur MAP, Laboratoire Systèmes-sur-puce et Technologies Avancées (LSTA), Université Grenoble Alpes (UGA)-Département Systèmes et Circuits Intégrés Numériques (DSCIN (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire Fonctions Innovantes pour circuits Mixtes (LFIM), ANR-18-CE46-0011,ImPreNum,Améliorer la prédictibilité des calculs numériques(2018), European Project: 826647,H2020-SGA-LPMT-2018,EPI SGA1

Πηγή: IEEE Transactions on Computers

Θεματικοί όροι: [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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://cea.hal.science/cea-04546949v1
https://doi.org/10.1109/tc.2024.3383964
https://cea.hal.science/cea-04546949v1/document

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm

Συγγραφείς: Arzelier, Denis, Bréhard, Florent, Joldes, Mioara, Mezzarobba, Marc

Συνεισφορές: Joldes, Mioara

Πηγή: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :96-103

Θεματικοί όροι: D-finite function, Evaluation error, Error bound, Orbital collision probability, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Floating point arithmetic, Majorizing series

Περιγραφή αρχείου: application/pdf

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

Συγγραφείς: Lefèvre, Vincent

Συνεισφορές: Lefèvre, Vincent

Πηγή: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :76-79

Θεματικοί όροι: rounding, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, floating-point, discontinuity

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-04566768v1
https://inria.hal.science/hal-04566768v1/document
https://doi.org/10.1109/arith61463.2024.00022

Useful applications of correctly-rounded operators of the form ab + cd + e

Συγγραφείς: Hubrecht, Tom, Jeannerod, Claude-Pierre, Muller, Jean-Michel

Συνεισφορές: Jeannerod, Claude-Pierre

Πηγή: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH). :32-39

Θεματικοί όροι: floating-point arithmetic, fused operators, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], double-word arithmetic, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, correct rounding, complex arithmetic, [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], dot-product instructions, rounding error analysis

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-04461089v2

AdaQAT: Adaptive Bit-Width Quantization-Aware Training

Συγγραφείς: Gernigon, Cédric, Filip, Silviu-Ioan, Sentieys, Olivier, Coggiola, Clément, Bruno, Mickael

Συνεισφορές: Gernigon, Cédric

Πηγή: 2024 IEEE 6th International Conference on AI Circuits and Systems (AICAS). :442-446

Θεματικοί όροι: [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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.16876
https://hal.science/hal-04549245v1

Efficient and Validated Numerical Evaluation of Abelian Integrals

Συγγραφείς: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker

Συνεισφορές: Brisebarre, Nicolas, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), School of Mathematics Australia, Monash University Melbourne, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

Πηγή: ACM Transactions on Mathematical Software. 50:1-38

Θεματικοί όροι: [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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-03561096v2/document
https://hal.science/hal-03561096v2
https://doi.org/10.1145/3637550

Five-Precision GMRES-Based Iterative Refinement

Συγγραφείς: Amestoy, Patrick, Buttari, Alfredo, Higham, Nicholas, L’excellent, Jean-Yves, Mary, Theo, Vieublé, Bastien

Συνεισφορές: Vieublé, Bastien, Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique (CNRS), University of Manchester Manchester, Department of Mathematics Manchester (School of Mathematics), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: 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.

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Towards Multi-Level Arithmetic Optimizations

Συγγραφείς: Cochard, Pierre, Forget, Luc, de Dinechin, Florent, Ledoux, Louis

Συνεισφορές: Ledoux, Louis

Θεματικοί όροι: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], computer arithmetic, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], flopoco, mlir, llvm, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], hardare design, compilation, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, high level synthesis, [INFO] Computer Science [cs]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-05063466v1

Modular Multiplication in the AMNS Representation: Hardware Implementation

Συγγραφείς: Noyez, Louis, El Mrabet, Nadia, Potin, Olivier, Véron, Pascal

Συνεισφορές: NOYEZ, Louis

Πηγή: Lecture Notes in Computer Science ISBN: 9783031828409

Θεματικοί όροι: [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, AMNS, AMNS Montgomery multiplication Hardware Implementation, Hardware Implementation, Montgomery multiplication

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04691484v1

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

Συγγραφείς: Ben Ali, Sami, Filip, Silviu-Ioan, Sentieys, Olivier

Συνεισφορές: BEN ALI, Sami

Πηγή: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE). :1-6

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.14010
https://hal.science/hal-04380270v3
https://hal.science/hal-04380270v3/document

Performance of precision auto-tuned neural networks

Συγγραφείς: Ferro, Quentin, Graillat, Stef, Hilaire, Thibault, Jézéquel, Fabienne

Συνεισφορές: Ferro, Quentin

Πηγή: 2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). :592-599

Θεματικοί όροι: Neural Networks, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Stochastic Arithmetic, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Auto-Tuning, Precision, Floating-Point

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04149501v1

Low-Precision Floating-Point for Efficient On-Board Deep Neural Network Processing

Συγγραφείς: Gernigon, Cédric, Filip, Silviu-Ioan, Sentieys, Olivier, Coggiola, Clément, Bruno, Mickaël

Συνεισφορές: Gernigon, Cédric

Πηγή: 2023 European Data Handling & Data Processing Conference (EDHPC). :1-8

Θεματικοί όροι: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Signal Processing (eess.SP), FOS: Computer and information sciences, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], Computer Science - Machine Learning, Ship Detection, Deep Neural Networks (DNN), Machine Learning (cs.LG), FOS: Electrical engineering, electronic engineering, information engineering, Semantic Segmentation, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Reduced Precision, Electrical Engineering and Systems Science - Signal Processing, Quantization-Aware Training (QAT), Floating-Point

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2311.11172
https://hal.science/hal-04252197v1/document
https://doi.org/10.23919/edhpc59100.2023.10396014
https://hal.science/hal-04252197v1

Variable and Extended Precision (VRP) Accelerator Implemented in a 22 nm SoC

Συγγραφείς: Guthmuller, Eric, Fuguet, César, Bocco, Andrea, Fereyre, Jérome, Evans, Adrian, Durand, Yves, Fereyre, Jérôme

Συνεισφορές: CEA, Contributeur MAP

Πηγή: Electronics Letters. 61

Θεματικοί όροι: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://cea.hal.science/cea-05123539v1
https://cea.hal.science/cea-05123539v1/document
https://doi.org/10.1049/ell2.70255

On Polynomial Modular Number Systems over $ \mathbb{Z}/{p}\mathbb{Z} $

Συγγραφείς: Bajard, Jean-Claude, Marrez, Jérémy, Plantard, Thomas, Véron, Pascal

Συνεισφορές: Véron, Pascal

Πηγή: Advances in Mathematics of Communications. 18:674-695

Θεματικοί όροι: FOS: Computer and information sciences, Mathematics - Number Theory, Polynomial roots, Computer Science - Data Structures and Algorithms, Modular Computation, FOS: Mathematics, Finite field, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Data Structures and Algorithms (cs.DS), Number Theory (math.NT), 0101 mathematics, 01 natural sciences, Polynomial Modular Number System

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2001.03741
https://hal.science/hal-03611829v1
https://hal.science/hal-03611829v1/document
https://doi.org/10.3934/amc.2022018

Hardware Level Simulations of Fault Detection in RNS Accelerator

Συγγραφείς: Vollmer, Morgane, Tisserand, Arnaud, Bigou, Karim

Συνεισφορές: Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-École Nationale Supérieure de Techniques Avancées (ENSTA), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), CREACH LABS, ANR-22-PECY-0004,ARSENE,ARchitectures SEcurisées pour le Numérique Embarqué(2022)

Πηγή: BITFLIP 2025 ; https://hal.science/hal-05368416 ; BITFLIP 2025, Nov 2025, Rennes, France. ; https://www.creachlabs.fr/fr/les-conferences-des-rencontres-scientifiques-enjeux/bitflip-2025-cyber-reliability-and-tolerance-faults-electronic-components

Θεματικοί όροι: [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]

Θέμα γεωγραφικό: Rennes, France

Διαθεσιμότητα: https://hal.science/hal-05368416
https://hal.science/hal-05368416v1/document
https://hal.science/hal-05368416v1/file/poster.pdf

Electrical Activity in Arithmetic Operations vs Security

Συγγραφείς: Tisserand, Arnaud

Συνεισφορές: Centre National de la Recherche Scientifique (CNRS), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-École Nationale Supérieure de Techniques Avancées (ENSTA), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), ANR-22-PECY-0004,ARSENE,ARchitectures SEcurisées pour le Numérique Embarqué(2022)

Πηγή: 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/

Θεματικοί όροι: [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]

Θέμα γεωγραφικό: Lyon, France

Διαθεσιμότητα: https://hal.science/hal-05347564

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

Συγγραφείς: Mishra, Vishesh, Traiola, Marcello, Kritikakou, Angeliki, Sentieys, Olivier, Chatterjee, Urbi

Συνεισφορές: Indian Institute of Technology Kanpur (IIT Kanpur), Architectures matérielles spécialisées pour l’ère post loi-de-Moore (TARAN), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), ANR-21-CE24-0015,RE-TRUSTING,Architectures matérielles fiable pour l'Intelligence Artificielle de confiance(2021), ANR-21-CE25-0008,FASY,Comportement temporel sous fautes pour des systèmes critiques sur multicoeurs(2021)

Πηγή: 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

Θεματικοί όροι: 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

Θέμα γεωγραφικό: Munich (Allemagne), Germany

Διαθεσιμότητα: https://inria.hal.science/hal-05333255
https://inria.hal.science/hal-05333255v1/document
https://inria.hal.science/hal-05333255v1/file/SERA_FLOAT_v2.pdf