Generating Litmus Tests for Contrasting Memory Consistency Models? Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin University of Pennsylvania Abstract. Well-defined memory consistency models are necessary for

First Page		Document Content
Date: 2010-04-19 10:17:08		Generating Litmus Tests for Contrasting Memory Consistency Models? Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin University of Pennsylvania Abstract. Well-defined memory consistency models are necessary for Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 280,97 KB Share Document on Facebook