Optimal offloading control for a mobile device based on a realistic battery model and semi-markov decision process.