Automated Classification of Data Races Under Both Strong and Weak Memory Models
Baris Kasikci, Cristian Zamfir, George Candea
An Extension of ATL with Strategy Interaction
Farn Wang, Sven Schewe, Chung-Hao Huang
The Design and Implementation of a Verification Technique for GPU Kernels
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: