TSP: Thermal Safe Power - Efficient power budgeting for many-core systems in dark silicon | IEEE Conference Publication | IEEE Xplore