An Accurate GPU Performance Model for Effective Control Flow Divergence Optimization | IEEE Journals & Magazine | IEEE Xplore