Login / Signup
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).
Rajdeep Mukherjee
Saurabh Joshi
Andreas Griesmayer
Daniel Kroening
Tom Melham
Published in:
CoRR (2016)
Keyphrases
</>
high level
statistical model
computational model
data processing
formal model
conceptual model
experimental data
mathematical model
higher level
em algorithm
genetic algorithm
data sets
multi view
management system
probability distribution
low level
similarity measure
social networks