Towards Automated Memory Model Generation Via Event Tracing

O. F. J. Perks, D. A. Beckingsale, Simon D. Hammond, I. Miller, J. A. Herdman, A. Vadgama, Abhir H. Bhalerao, Ligang He, Stephen A. Jarvis. Towards Automated Memory Model Generation Via Event Tracing. Comput. J., 56(2):156-174, 2013. [doi]

Abstract

Abstract is missing.