Searching for "Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Analyzing the Intel Itanium memory ordering rules using logic programming and SAT
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind — 2003 — In CHARME
…Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT ⋆ Yue Yang…
Cited by 11 (6 self) – Add To MetaCart

Formalizing Shared Memory Consistency Models for Program Analysis
by Yue Yang, Co-chair Gary Lindstrom, Konrad Slind, Matthew Flatt, Radu Grosu, Date Ganesh Gopalakrishnan, David S. Chapman — 2004
…]; 4. Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT [84]; 5. Nemos…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB