zweidimensionales bewegtes Bild
A Two-Phase Approach for Conditional Floating-Point Verification
- Location
-
Hannover TIB
- Extent
-
138MB, 00:14:53:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Lohar, Debasmita
Jeanoudoux, Clothilde
Darulova, Eva
Sobel, Joshua
Christakis, Maria
- DOI
-
10.5446/54992
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Lohar, Debasmita
- Jeanoudoux, Clothilde
- Darulova, Eva
- Sobel, Joshua
- Christakis, Maria
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Deductive Verification of Floating-Point Java Programs in KeY
Formal verification of a fully IEEE compliant floating point unit
Formal verification of a fully IEEE compliant floating point unit
Segment LLL-reduction with floating point orthogonalization
High precision floating point numbers in LEDA
Verified compilation and optimization of floating-point kernels
Floating-point architectures for energy-efficient transprecision computing
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
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
A floating-point to fixed-point design flow for high performance digital signal processors
Deductive Verification of Floating-Point Java Programs in KeY
Formal verification of a fully IEEE compliant floating point unit
Formal verification of a fully IEEE compliant floating point unit
Segment LLL-reduction with floating point orthogonalization
High precision floating point numbers in LEDA
Verified compilation and optimization of floating-point kernels
Floating-point architectures for energy-efficient transprecision computing
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
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
A floating-point to fixed-point design flow for high performance digital signal processors
Deductive Verification of Floating-Point Java Programs in KeY
Formal verification of a fully IEEE compliant floating point unit
Formal verification of a fully IEEE compliant floating point unit
Segment LLL-reduction with floating point orthogonalization
High precision floating point numbers in LEDA
Verified compilation and optimization of floating-point kernels
Floating-point architectures for energy-efficient transprecision computing
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
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