[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Interpreting energy profiles with CEGAR
te Brinke, StevenYear:
2014
Language:
english
DOI:
10.1145/2554850.2555194
File:
PDF, 322 KB
english, 2014