Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Abate, Alessandro. (Editor ), Boldo, Sylvie. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10381
Materias:	Computer logic. Software engineering. Algorithms. Mathematical logic. Computer simulation. Logics and Meanings of Programs. Software Engineering. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Simulation and Modeling.

Tabla de Contenidos:

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.

Ejemplares similares