Look-ahead memory consistency model | IEEE Conference Publication | IEEE Xplore