Results 1 - 3 of 3

MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES

by Sebastian Burckhardt, Rajeev Alur, Milo Martin, Rajeev Alur, Sebastian Burckhardt, Sebastian Burckhardt, Rajeev Alur, Milo Martin , 2007
"... To my wife Andrea and my children Sasha and Ellie iii ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
To my wife Andrea and my children Sasha and Ellie iii

Memory Model Safety of Programs

by Sebastian Burckhardt, Madanlal Musuvathi
"... denote the set of executions of program π on memory model Y. A program π is memory model safe for Y, or simply Y-safe, if T Y π = T SC ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
denote the set of executions of program π on memory model Y. A program π is memory model safe for Y, or simply Y-safe, if T Y π = T SC

1 Introduction Automated Verification of UPC Memory Consistency

by Øystein Thorsen, Charles Wallace
"... ..."
Abstract - Add to MetaCart
Abstract not found