Stochastic Modeling and Optimization for Energy Management in Multicore Systems: A Video Decoding Case Study | IEEE Journals & Magazine | IEEE Xplore