Filters








2 Hits in 2.2 sec

Remote-scope promotion: clarified, rectified, and verified

John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
We gratefully acknowledge support from the EU FP7 CARP Project (project number 287767), the EPSRC (projects EP/K011499, EP/I020357/1, EP/K015168/1, and EP/I01236/1), a Pathways to Impact project supported  ...  Acknowledgements AMD is a trademark of Advanced Micro Devices, Inc. OpenCL is a trademark of Apple Inc. used by permission by Khronos.  ...  The simple manner in which we can adapt the memory model for RSP illustrates the elegance of an axiomatic memory model.  ... 
doi:10.1145/2814270.2814283 dblp:conf/oopsla/WickersonBBD15 fatcat:s6lbjibkgnddbbugycn6rprygy

Remote-scope promotion: clarified, rectified, and verified

John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
2015 SIGPLAN notices  
We gratefully acknowledge support from the EU FP7 CARP Project (project number 287767), the EPSRC (projects EP/K011499, EP/I020357/1, EP/K015168/1, and EP/I01236/1), a Pathways to Impact project supported  ...  Acknowledgements AMD is a trademark of Advanced Micro Devices, Inc. OpenCL is a trademark of Apple Inc. used by permission by Khronos.  ...  The simple manner in which we can adapt the memory model for RSP illustrates the elegance of an axiomatic memory model.  ... 
doi:10.1145/2858965.2814283 fatcat:u4drv77yyvg4di7atwdlov5bwe