Login / Signup
Effective abstractions for verification under relaxed memory models.
Andrei Marian Dan
Yuri Meshman
Martin T. Vechev
Eran Yahav
Published in:
Comput. Lang. Syst. Struct. (2017)
Keyphrases
</>
statistical models
machine learning algorithms
databases
genetic algorithm
social networks
image segmentation
trade off
data model
parameter estimation
main memory
computing power