An optimal analytical solution for processor speed control with thermal constraints