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

Wei Wang, Dong Guo, Zhigang Deng, Guosun Zeng, Wei Liu, Huanliang Xiong

Browse the full PPoPP paper archive.