Login / Signup
Verification of a lazy cache coherence protocol against a weak memory model.
Christopher J. Banks
Marco Elver
Ruth Hoffmann
Susmit Sarkar
Paul B. Jackson
Vijay Nagarajan
Published in:
FMCAD (2017)
Keyphrases
</>
probabilistic model
probability distribution
security model
high level
wireless sensor networks
computational model
statistical model
experimental data
genetic algorithm
prior knowledge
hidden markov models
conceptual model
sensitivity analysis
simulation model
formal analysis