- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
47 Bl.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
- (when)
-
1996
- Creator
-
Burnikel, Christoph
Könemann, Jochen
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:14 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Burnikel, Christoph
- Könemann, Jochen
- Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
Time of origin
- 1996
Other Objects (12)
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Reduced floating-point precision in regional climate simulations: an ensemble-based statistical verification
rpe v5: an emulator for reduced floating-point precision in large numerical simulations
On the use of the Infinity Computer architecture to set up a dynamic precision floating-point arithmetic
Finding Normal Binary Floating-Point Factors Efficiently
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
![[Leda; Léda]](https://iiif.deutsche-digitale-bibliothek.de/image/2/e0c1f8ba-ebfe-457f-a242-d75e2a0127b6/full/!306,450/0/default.jpg)
[Leda; Léda]
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
Wave-attenuation efficiency of a floating distensible tube at different Keulegan–Carpenter numbers
A Two-Phase Approach for Conditional Floating-Point Verification
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Reduced floating-point precision in regional climate simulations: an ensemble-based statistical verification
rpe v5: an emulator for reduced floating-point precision in large numerical simulations
On the use of the Infinity Computer architecture to set up a dynamic precision floating-point arithmetic
Finding Normal Binary Floating-Point Factors Efficiently
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
[Leda; Léda]
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
Wave-attenuation efficiency of a floating distensible tube at different Keulegan–Carpenter numbers
A Two-Phase Approach for Conditional Floating-Point Verification
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Reduced floating-point precision in regional climate simulations: an ensemble-based statistical verification
rpe v5: an emulator for reduced floating-point precision in large numerical simulations
On the use of the Infinity Computer architecture to set up a dynamic precision floating-point arithmetic
Finding Normal Binary Floating-Point Factors Efficiently
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
[Leda; Léda]
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
Wave-attenuation efficiency of a floating distensible tube at different Keulegan–Carpenter numbers