Login / Signup
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis.
Yohan Chatelain
Pablo de Oliveira Castro
Eric Petit
David Defour
Jordan Bieder
Marc Torrent
Published in:
ARITH (2018)
Keyphrases
</>
data analysis
artificial intelligence
image segmentation
fine grained