Wei Wang, Dong Guo, Zhigang Deng, Guosun Zeng, Wei Liu, Huanliang Xiong. Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling. In Pavan Balaji, Minyi Guo, Zhiyi Huang 0001, editors, Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2014, Orlando, Florida, USA, February 15, 2014. pages 140, ACM, 2014. [doi]
Abstract is missing.