The CRISP performance model for dynamic voltage and frequency scaling in a GPGPU | IEEE Conference Publication | IEEE Xplore