zweidimensionales bewegtes Bild
A Compiler for Sound Floating-Point using Affine Arithmetic
- Weitere Titel
-
A Compiler for Sound Floating-Point Computations
- Standort
-
Hannover TIB
- Umfang
-
1233MB, 00:30:46:14 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)
- Ereignis
-
Veröffentlichung
- (wer)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (wann)
-
2022-01-01
- Beteiligte Personen und Organisationen
-
Rivera, Joao
Franchetti, Franz
Püschel, Markus
Su, Zhendong (Moderation)
- DOI
-
10.5446/60331
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Rivera, Joao
- Franchetti, Franz
- Püschel, Markus
- Su, Zhendong (Moderation)
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Entstanden
- 2022-01-01
Ähnliche Objekte (12)
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Optimal design of fixed-point and floating-point arithmetic units for scientific applications
Optimal Design of Fixed-Point and Floating-Point Arithmetic Units for Scientific Applications
Fachgespräch Compiler-Compiler : Berlin 1978
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Compiler
Werkbuch einer vergleichenden Studie über Compiler-Compiler
Compiler construction
Compiler construction
Arithmetic
Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Optimal design of fixed-point and floating-point arithmetic units for scientific applications
Optimal Design of Fixed-Point and Floating-Point Arithmetic Units for Scientific Applications
Fachgespräch Compiler-Compiler : Berlin 1978
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Compiler
Werkbuch einer vergleichenden Studie über Compiler-Compiler
Compiler construction
Compiler construction
Arithmetic
Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Optimal design of fixed-point and floating-point arithmetic units for scientific applications
Optimal Design of Fixed-Point and Floating-Point Arithmetic Units for Scientific Applications
Fachgespräch Compiler-Compiler : Berlin 1978
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
Compiler
Werkbuch einer vergleichenden Studie über Compiler-Compiler
Compiler construction
Compiler construction
Arithmetic