Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocksReportar como inadecuado




Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 DALI - Digits, Architectures et Logiciels Informatiques LIRMM - Laboratoire d-Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia

Abstract : Talk at RAIM 2015 RennesSynthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks





Autor: Mohamed Amine Najahi -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados