VeriTracer: Context-enriched tracer for floating-point arithmetic analysis - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

VeriTracer: Context-enriched tracer for floating-point arithmetic analysis

Domaines

Informatique [cs]

Joelle Sulian  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01989607

Soumis le : mardi 22 janvier 2019-14:48:40

Dernière modification le : mardi 19 novembre 2024-09:28:02

Fichier non déposé

Dates et versions

hal-01989607 , version 1 (22-01-2019)

Identifiants

Citer

Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, et al.. VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Jun 2018, Amherst, United States. pp.61-68, ⟨10.1109/ARITH.2018.8464687⟩. ⟨hal-01989607⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA UNIV-PERP UVSQ LAMPS DAM UNIV-PARIS-SACLAY LI-PARAD GS-ENGINEERING GS-COMPUTER-SCIENCE
96 Consultations
0 Téléchargements

Altmetric

Partager

More