-
1Report
المؤلفون: Bonnot, Paul, Boyer, Benoît, Faissole, Florian, Marché, Claude
المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Mitsubishi Electric R&D Centre Europe France (MERCE-France), Mitsubishi Electric France, inria
المصدر: https://inria.hal.science/hal-04820735 ; RR-9564, inria. 2024.
مصطلحات موضوعية: Formal Specification, Deductive Verification, Why3 Environment for Deductive Verification, Floating-Point Representation, Numerical Programs, Spécification formelle, preuve de programmes, environnement Why3 pour la vérification déductive, Nombres en virgule flottante, Programmes numériques, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
2Academic Journal
المؤلفون: Martin-Dorel, Érik, Melquiond, Guillaume, Roux, Pierre
المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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é 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é de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), DTIS, ONERA, Université de Toulouse Toulouse, ONERA-PRES Université de Toulouse, ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), European Project: 101001995,FRESCO(2021)
المصدر: ISSN: 0168-7433.
مصطلحات موضوعية: formal proof, floating-point arithmetic, proof by computation, virgule flottante, preuve assistée par ordinateur, [INFO]Computer Science [cs], [SPI]Engineering Sciences [physics]
Relation: info:eu-repo/grantAgreement//101001995/EU/Fast and Reliable Symbolic Computation/FRESCO
-
3Report
المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Mitsubishi Electric R&D Centre Europe France (MERCE-France), Mitsubishi Electric France, TrustInSoft (TIS), Inria
المصدر: https://inria.hal.science/hal-04343157 ; RR-9531, Inria. 2023.
مصطلحات موضوعية: Formal specification, Deductive verification, Why3 environment, Floating-point computations, Spécification formelle, preuve de programmes, environnement Why3 pour la vérification déductive, programmes C en virgule flottante, [INFO]Computer Science [cs]
-
4Report
المؤلفون: Goualard, Frédéric, Jermann, Christophe
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-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)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), LS2N
المصدر: https://cnrs.hal.science/hal-04088101 ; LS2N. 2023.
مصطلحات موضوعية: arithmétique, IEEE 754, virgule flottante, entiers, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: hal-04088101; https://cnrs.hal.science/hal-04088101; https://cnrs.hal.science/hal-04088101v2/document; https://cnrs.hal.science/hal-04088101v2/file/calcul-sur-ordinateur.pdf
-
5Dissertation/ Thesis
المؤلفون: Beuzeville, Theo
المساهمون: 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é 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é de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT), Université de Toulouse, Alfredo Buttari, Nicolas Winckler
المصدر: https://theses.hal.science/tel-04622129 ; Computer Science [cs]. Université de Toulouse, 2024. English. ⟨NNT : 2024TLSEP054⟩.
مصطلحات موضوعية: Artificial neural networks, Floating-point, Error analysis, Adversarial attacks, Rounding errors, Backward error, Réseaux de neurones artificiels, Virgule flottante, Analyse d'erreur, Attaques adverses, Erreurs d'arrondi, Erreur inverse, [INFO]Computer Science [cs]
Relation: NNT: 2024TLSEP054; tel-04622129; https://theses.hal.science/tel-04622129; https://theses.hal.science/tel-04622129/document; https://theses.hal.science/tel-04622129/file/BEUZEVILLE_Theo2024.pdf
-
6Conference
المؤلفون: Uguen, Yohann, de Dinechin, Florent
المساهمون: Software and Cognitive radio for telecommunications (SOCRATE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)
المصدر: Compas'2017 - Conférence d’informatique en Parallélisme, Architecture et Système ; https://inria.hal.science/hal-02131977 ; Compas'2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France. pp.1-8
مصطلحات موضوعية: Arithmétique, Virgule flottante, Synthèse de haut niveau, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
جغرافية الموضوع: Sophia Antipolis, France
Relation: hal-02131977; https://inria.hal.science/hal-02131977; https://inria.hal.science/hal-02131977/document; https://inria.hal.science/hal-02131977/file/kulisch-compas-2017.pdf
-
7Dissertation/ Thesis
المؤلفون: El Arar, El-Mehdi
المساهمون: Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués (LI-PaRAD), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université Paris-Saclay, Devan Sohier, Pablo de Oliveira Castro Herrero, Éric Petit
المصدر: https://theses.hal.science/tel-04397409 ; Numerical Analysis [cs.NA]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG104⟩.
مصطلحات موضوعية: Stochastic rounding, Floating-Point arithmetic, Rounding errors, Martingale theory, Arrondi Stochastique, Arithmétique en virgule flottante, Erreurs d'arrondi, Théorie des martingales, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Relation: NNT: 2023UPASG104
-
8Dissertation/ Thesis
المؤلفون: Gerest, Matthieu
المساهمون: Sorbonne université, Jézéquel, Fabienne, Boiteau, Olivier, Mary, Théo
مصطلحات موضوعية: Matrices creuses, Solveurs linéaires directs, Approximations de rang faible, Arithmétique à virgule flottante, Analyse d'erreur d'arrondi, Calcul haute performance, Sparse matrices, Direct methods for linear systems, Low-rank approximations, Floating-point arithmetic, Rounding error analysis, High-performance computing, 003.74
-
9
المؤلفون: Resmerita, Diana
المساهمون: STAR, ABES
مصطلحات موضوعية: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Floating-point, Compression de données, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Apprentissage en profondeur, Deep learning, Réseaux de neurones profonds, Deep compression, Statistical analysis, Data compression, Quantification, Quantization, Deep neural networks, Analyse statistique, Error approximation, Virgule flottante, Approximation des erreurs
وصف الملف: application/pdf
-
10Dissertation/ Thesis
المؤلفون: Resmerita, Diana
المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université Côte d'Azur, Lionel Fillatre
المصدر: https://theses.hal.science/tel-03783658 ; Signal and Image Processing. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4043⟩.
مصطلحات موضوعية: Data compression, Deep learning, Quantization, Deep compression, Deep neural networks, Floating-point, Statistical analysis, Error approximation, Compression de données, Apprentissage en profondeur, Quantification, Réseaux de neurones profonds, Virgule flottante, Analyse statistique, Approximation des erreurs, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]
Relation: NNT: 2022COAZ4043; tel-03783658; https://theses.hal.science/tel-03783658; https://theses.hal.science/tel-03783658/document; https://theses.hal.science/tel-03783658/file/2022COAZ4043.pdf
-
11Dissertation/ Thesis
المؤلفون: Resmerita, Diana
المساهمون: Université Côte d'Azur, Fillatre, Lionel
مصطلحات موضوعية: Compression de données, Apprentissage en profondeur, Quantification, Réseaux de neurones profonds, Virgule flottante, Analyse statistique, Approximation des erreurs, Data compression, Deep learning, Quantization, Deep compression, Deep neural networks, Floating-point, Statistical analysis, Error approximation
-
12
المؤلفون: Garcia, Rémy
المساهمون: Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Côte d'Azur, Claude Michel
المصدر: Arithmétique des ordinateurs. Université Côte d'Azur, 2021. Français. ⟨NNT : 2021COAZ4057⟩
مصطلحات موضوعية: Optimization, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Constraints over errors, Erreur d’arrondi, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Programmation par contraintes, Error analysis, Nombres à virgule flottante, Analyse d’erreurs, Contraintes sur les erreurs, Round-off error, Constraint programming, Optimisation, Floating-point numbers
-
13Report
المؤلفون: Fumex, Clément, Marché, Claude, Moy, Yannick
المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), AdaCore (FRANCE), Inria Saclay Ile de France, ANR-14-LAB3-0007,ProofInUse,Preuve en Œuvre (Intégration de la preuve dans le développement logiciel)(2014), ANR-14-CE28-0020,SOPRANO,Nouveau prouveur automatique pour l'analyse de programmes(2014)
المصدر: https://inria.hal.science/hal-01511183 ; [Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53.
مصطلحات موضوعية: Formal Specification, Deductive Verification, Formal Proof, Program Verifiers Why3 and SPARK, Floating-point computations, Spécification formelle, preuve de programmes, environnements de preuve Why3 et SPARK, calculs en virgule flottante, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
14
المؤلفون: Jacquemin, Maxime
المساهمون: 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), Université Paris-Saclay, Julien Signoles, Franck Vedrine
المصدر: Arithmétique des ordinateurs. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG050⟩
مصطلحات موضوعية: Accuracy diagnosis, Software verification, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Arithmétique à virgule flottante, Vérification de logiciels, Floating point arithmetic, Diagnostic de précision
-
15
المؤلفون: Trevisan Jost, Tiago
المساهمون: Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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), Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Université Grenoble Alpes [2020-....], Frédéric Pétrot, Albert Henri Cohen, Christian Fabre, System Level Synthesis (SLS ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), STAR, ABES, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), System Level Synthesis (TIMA-SLS)
المصدر: Computer Arithmetic. Université Grenoble Alpes [2020-..], 2021. English. ⟨NNT : 2021GRALM020⟩
مصطلحات موضوعية: Number format, Optimization, Format de nombres, Variable precision, Compilateur, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Llvm, Arithmétique à virgule flottante, Compiler, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Optimisation, Précision variable, Floating-Point arithmetic
وصف الملف: application/pdf
-
16Conference
المؤلفون: Collange, Caroline, Daumas, Marc, Defour, David, Olivès, Régis
المساهمون: Electronique, Informatique, Automatique et Systèmes (ELIAUS), Université de Perpignan Via Domitia (UPVD), Institut De Science Et De Génie Des Matériaux Et Procédés (IMP-CNRS), Université de Perpignan Via Domitia (UPVD)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Acte du SYMPosium en Architectures nouvelles de machines ; SYMPosium en Architectures nouvelles de machines ; https://hal.science/hal-00202906 ; SYMPosium en Architectures nouvelles de machines, 2008, Fribourg, Suisse. 12p
مصطلحات موضوعية: arithmétique virgule flottante, précision, fonctions élémentaires, GPGPU, GPU, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
جغرافية الموضوع: Fribourg, Switzerland
Relation: hal-00202906; https://hal.science/hal-00202906; https://hal.science/hal-00202906/document; https://hal.science/hal-00202906/file/20.pdf
-
17Conference
المؤلفون: Daumas, Marc, da Graça, Guillaume, Defour, David
المساهمون: Digits, Architectures et Logiciels Informatiques (DALI), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Perpignan Via Domitia (UPVD), Laboratoire de Physique Appliquée et d'Automatique (LP2A), Université de Perpignan Via Domitia (UPVD)
المصدر: SympA: Symposium en Architecture de Machines ; https://hal.science/hal-00069622 ; SympA: Symposium en Architecture de Machines, Oct 2006, Perpignan, France. pp.86-95
مصطلحات موضوعية: précision, GPGPU, GPU, arithmétiques virgule flottante, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.MS/0605081; hal-00069622; https://hal.science/hal-00069622; https://hal.science/hal-00069622/document; https://hal.science/hal-00069622/file/daumas_dagraca_defour_sympa2006.pdf; ARXIV: cs.MS/0605081
-
18Conference
المؤلفون: Calmet, Jacques, Lefèvre, Vincent
المساهمون: Universität Karlsruhe (TH), Solving problems through algebraic computation and efficient software (SPACES), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004
https://inria.hal.science/inria-00099920
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79مصطلحات موضوعية: fixed-point arithmetic, preuve formelle, formal proof, numerical computation, floating-point arithmetic, calcul numérique, arithmétique virgule flottante, arithmétique virgule fixe, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: inria-00099920; https://inria.hal.science/inria-00099920; https://inria.hal.science/inria-00099920/document; https://inria.hal.science/inria-00099920/file/A04-R-453.pdf
-
19
المؤلفون: Jeangoudoux, Clothilde
المساهمون: 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), Sorbonne Université, Stef Graillat, Sorbonne Université - UFR d'Ingénierie (UFR 919), Sorbonne Université (SU), Sorbonne Universites, UPMC University of Paris 6, Chrisoph Lauter, Fabrice Larribe, Jeangoudoux, Clothilde
المصدر: Arithmétique des ordinateurs. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS148⟩
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Françaisمصطلحات موضوعية: Arithmétique des ordinateurs, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Arithmétique à virgule flottante, arith- métique à virgule flottante, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], constraint programming, Programmation par contraintes, programmation par contraintes, rithmétique des ordinateurs, analyse d’erreur, Générateur automatique de tests, Certification aéronautique de programmes numériques, Constraint programming, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], multi-précision, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Floating-point, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], d’intervalles, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Analyse d'erreur, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Computer arithmetic, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Aircraft certification of numerical software, binary and decimal arithmetics, Error analysis, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], binaire et décimale, d'intervalles, Automatic test generator, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, multiple precision, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, interval
وصف الملف: application/pdf
-
20
المؤلفون: Bocco, Andrea
المساهمون: CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information (CEA-LETI), 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), Software and Cognitive radio for telecommunications (SOCRATE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Université de Lyon, Florent Dupont de Dinechin, Yves Durand, STAR, ABES
المصدر: Discrete Mathematics [cs.DM]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEI065⟩
مصطلحات موضوعية: Instruction Set, Nombre universel, Multiple precision, Universal number, Calcul scientifique, Information technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Computer arithmetic, Précision variable, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Variable precision, Arithmétique de l'ordinateur, Jeu d'instruction, ISA - Instruction Set Architecture, Précision multiple, Informatique mathématique, Architecture d'ensemble d'instructions - ISA, Scientific computing, Floating point, Virgule flottante
وصف الملف: application/pdf