GATSim: Abstract timing simulation of GPUs | IEEE Conference Publication | IEEE Xplore