Handbook of floating-point arithmetic (Englisch)
- Neue Suche nach: Muller, Jean-Michel
2010
-
ISBN:
- Buch / Elektronische Ressource
-
Titel:Handbook of floating-point arithmetic
-
Beteiligte:
-
Verlag:
- Neue Suche nach: Birkhäuser Boston
-
Erscheinungsort:Boston
-
Erscheinungsdatum:2010
-
Format / Umfang:Online-Ressource
-
Anmerkungen:Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Description based upon print version of record -
ISBN:
-
DOI:
-
Medientyp:Buch
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 31.76 / 54.51
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 004.01513 / 513
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
IntroductionMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 2
-
Definitions and Basic NotionsMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 3
-
Floating-Point Formats and EnvironmentMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 4
-
Basic Properties and AlgorithmsMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 5
-
The Fused Multiply-Add InstructionMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 6
-
Enhanced Floating-Point Sums, Dot Products, and Polynomial ValuesMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 7
-
Languages and CompilersMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 8
-
Algorithms for the Five Basic OperationsMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 9
-
Hardware Implementation of Floating-Point ArithmeticMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 10
-
Software Implementation of Floating-Point ArithmeticMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 11
-
Evaluating Floating-Point Elementary FunctionsMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 12
-
Solving the Table Maker’s DilemmaMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 13
-
Formalisms for Certifying Floating-Point AlgorithmsMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 14
-
Extending the PrecisionMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 15
-
Conclusion and PerspectivesMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009
- 16
-
Appendix: Number Theory Tools for Floating-Point ArithmeticMuller, Jean-Michel / Brisebarre, Nicolas / de Dinechin, Florent / Jeannerod, Claude-Pierre / Lefèvre, Vincent / Melquiond, Guillaume / Revol, Nathalie / Stehlé, Damien / Torres, Serge et al. | 2009