An Axiomatic Memory Model for POWER Multiprocessors
- 1 January 2012
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Synchronising C/C++ and POWERPublished by Association for Computing Machinery (ACM) ,2012
- Understanding POWER multiprocessorsPublished by Association for Computing Machinery (ACM) ,2011
- Lem: A Lightweight Tool for Heavyweight SemanticsLecture Notes in Computer Science, 2011
- Litmus: Running Tests against HardwareLecture Notes in Computer Science, 2011
- Fences in Weak Memory ModelsLecture Notes in Computer Science, 2010
- The semantics of power and ARM multiprocessor machine codePublished by Association for Computing Machinery (ACM) ,2009
- Information-flow models for shared memory with an application to the powerPC architectureIEEE Transactions on Parallel and Distributed Systems, 2003
- Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SATLecture Notes in Computer Science, 2003
- Storage in the power PCIEEE Micro, 1995