MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Nemos A Framework for Axiomatic and Executable Specifications of Memory Consistency Models." – 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.

ATOM

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models
by Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind — 2003 — In International Parallel and Distributed Processing Symposium (IPDPS
…Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models ∗ Yue…
Cited by 10 (5 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
…: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models [85]; 6. QB…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

ATOM

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