Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture

Lisa Higham, LillAnne Jackson, Jalal Kawash. Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Volume 4167 of Lecture Notes in Computer Science, pages 164-178, Springer, 2006. [doi]

Authors

Lisa Higham

This author has not been identified. Look up 'Lisa Higham' in Google

LillAnne Jackson

This author has not been identified. Look up 'LillAnne Jackson' in Google

Jalal Kawash

This author has not been identified. Look up 'Jalal Kawash' in Google