Searching for "UMM an operational memory model specification framework with integrated model checking capability." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…. UMM: An Operational Memory Model Specification Framework with Integrated Model Checking Capability [83…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 1.

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