Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
- 1 January 2003
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A hybrid SAT-based decision procedure for separation logic with uninterpreted functionsPublished by Association for Computing Machinery (ACM) ,2003
- Checking Cache-Coherence Protocols with TLA+Formal Methods in System Design, 2003
- Towards a formal model of shared memory consistency for Intel Itanium/sup TM/Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specifying Java thread semantics using a uniform memory modelPublished by Association for Computing Machinery (ACM) ,2002
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- The power of processor consistencyPublished by Association for Computing Machinery (ACM) ,1993
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979