Stochastic modeling of a thermally-managed multi-core system