- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
47 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
- (wann)
-
1996
- Urheber
-
Burnikel, Christoph
Könemann, Jochen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Burnikel, Christoph
- Könemann, Jochen
- Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
Entstanden
- 1996
Ähnliche Objekte (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