Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling

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]

Authors

Wei Wang

This author has not been identified. Look up 'Wei Wang' in Google

Dong Guo

This author has not been identified. Look up 'Dong Guo' in Google

Zhigang Deng

This author has not been identified. Look up 'Zhigang Deng' in Google

Guosun Zeng

This author has not been identified. Look up 'Guosun Zeng' in Google

Wei Liu

This author has not been identified. Look up 'Wei Liu' in Google

Huanliang Xiong

This author has not been identified. Look up 'Huanliang Xiong' in Google