Verification of a lazy cache coherence protocol against a weak memory model.
Christopher J. BanksMarco ElverRuth HoffmannSusmit SarkarPaul B. JacksonVijay NagarajanPublished in: CoRR (2017)
Keyphrases
- high level
- prediction model
- statistical model
- experimental data
- database
- similarity measure
- probabilistic model
- theoretical analysis
- formal model
- computational model
- colored petri nets
- associative memory
- simulation model
- memory requirements
- mathematical model
- parameter estimation
- data structure
- face recognition
- genetic algorithm