What Is GPU Boost? A Basic Definition