Stochastic Dynamic Thermal Management: A Markovian Decision-based Approach | IEEE Conference Publication | IEEE Xplore