Browse by Author

Showing 3-7 of 7

Specifying System Requirements for Memory Consistency Models

Gharachorloo, Kourosh; Adve, Sarita V; Gupta, Anoop; Hennessy, John L; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model

Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Sufficient System Requirements for Supporting the PLpc Memory Model

Adve, Sarita V; Gharachorloo, Kourosh; Gupta, Anoop; Hennessy, John L; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A Unified Formalization of Four Shared-Memory Models

Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Weak Ordering - A New Definition and Some Implications

Adve, Sarita V; Hill, Mark D (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

Showing 3-7 of 7