Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling. - Wei Wang 033; Dong Guo; Zhigang Deng 002; Guosun Zeng; Wei Liu 011; Huanliang Xiong (PMAM, 2014)

Using priced timed automaton to analyse the energy consumption in cloud computing environment. - Zhigang Deng 002; Guosun Zeng; Qi He; Yunjie Zhong; Wei Wang 033 (Clust. Comput., 2014)