Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10460476
Beschreibung
Verified Computations using Taylor Models and Their Applications.- Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.- Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers.- Sound Numerical Computations in Abstract Acceleration.- Studying the numerical quality of an industrial computing code: a case study on Code_Aster.- Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.- A Study of Model-Order Reduction Techniques for Verification.
Eigenschaften
Breite: | 151 |
Gewicht: | 237 g |
Höhe: | 8 |
Länge: | 237 |
Seiten: | 115 |
Sprachen: | Englisch |
Autor: | Alessandro Abate, Sylvie Boldo |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen