Author:
Fava Daniel Schnetzer,Steffen Martin,Stolz Volker
Publisher
Springer International Publishing
Reference37 articles.
1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. Research Report 95/7, Digital WRL (1995)
2. Adve, S.V., Hill, M.D.: Weak ordering—a new definition. SIGARCH Comput. Archit. News 18(3a), 2–14 (1990)
3. Alglave, J., Maranget, L., Tautschnig, M.: Herding cats: modelling, simulation, testing, and data-mining for weak memory. ACM Trans. Program. Lang. Syst. 36(2), 7 (2014)
4. Lecture Notes in Computer Science;Y Abd Alrahman,2014
5. Aspinall, D., Ševčík, J.: Java memory model examples: good, bad and ugly. In: Proceedings of VAMP, vol. 7 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying C11 programs operationally;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16