Memory ordering: a value-based approach | IEEE Journals & Magazine | IEEE Xplore