An Axiomatic Memory Model for POWER Multiprocessors.
Sela Mador-HaimLuc MarangetSusmit SarkarKayvan MemarianJade AlglaveScott OwensRajeev AlurMilo M. K. MartinPeter SewellDerek WilliamsPublished in: CAV (2012)
Keyphrases
- probabilistic model
- management system
- input data
- theoretical analysis
- mathematical model
- formal model
- power consumption
- statistical model
- long term memory
- computational power
- object model
- simulation model
- conceptual model
- hierarchical structure
- experimental data
- case study
- theoretical framework
- probability distribution
- prior knowledge