Login / Signup
Dynamic synthesis for relaxed memory models.
Feng Liu
Nayden Nedev
Nedyalko Prisadnikov
Martin T. Vechev
Eran Yahav
Published in:
PLDI (2012)
Keyphrases
</>
statistical models
databases
prior knowledge
computing power
accurate models
knowledge base
parameter estimation
process model
experimental data