An Axiomatic Memory Model for POWER Multiprocessors
暂无分享,去创建一个
Rajeev Alur | Milo M. K. Martin | Jade Alglave | Peter Sewell | Kayvan Memarian | Luc Maranget | Susmit Sarkar | Sela Mador-Haim | Scott Owens | Derek Williams | Milo M. K. Martin | R. Alur | Scott Owens | Peter Sewell | Sela Mador-Haim | Kayvan Memarian | J. Alglave | Susmit Sarkar | Luc Maranget | Derek Williams
[1] Jade Alglave,et al. Fences in Weak Memory Models , 2010, CAV.
[2] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[3] Francesco Zappa Nardelli,et al. The semantics of power and ARM multiprocessor machine code , 2009, DAMP '09.
[4] Marvin V. Zelkowitz,et al. Programming Languages: Design and Implementation , 1975 .
[5] Yue Yang,et al. Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT , 2003, CHARME.
[6] Jade Alglave,et al. Synchronising C/C++ and POWER , 2012, PLDI.
[7] Jade Alglave,et al. Litmus: Running Tests against Hardware , 2011, TACAS.
[8] Francesco Zappa Nardelli,et al. Lem: A Lightweight Tool for Heavyweight Semantics , 2011, ITP.
[9] George J. Milne,et al. Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.
[10] Jade Alglave,et al. Understanding POWER multiprocessors , 2011, PLDI '11.
[11] Niklas Een,et al. MiniSat v1.13 - A SAT Solver with Conflict-Clause Minimization , 2005 .
[12] Allon Adir,et al. Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture , 2003, IEEE Trans. Parallel Distributed Syst..
[13] K. Gharachodoo,et al. Memory consistency models for shared memory multiprocessors , 1996 .
[14] Francisco Corella,et al. Specification of the powerpc shared memory architecture , 1993 .
[15] Janice M. Stone,et al. Storage in the power PC , 1995, IEEE Micro.