Statistical verification using learned usages for evaluating energy-efficient mobile device design-Reference-Cited by-同舟云学术

Statistical verification using learned usages for evaluating energy-efficient mobile device design

Published:2022-04-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Song Jiyoung¹,Jung Youlim²,Cho Chiwoo³,Jee Eunkyoung¹,Bae Doo-Hwan¹

Affiliation:

1. Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea

2. DelightRoom, Seoul, Republic of Korea

3. Bluepoint Partners, Seoul, Republic of Korea

Funder

This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the ITRC(Information Technology Research Center) support program(IITP-2022-2020-0-01795).

This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the (No. 2015-0-00250, (SW Star Lab) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System) supervised by the IITP(Institute of Information & Communications Technology Planning & Evaluation).

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3477314.3507167

Reference12 articles.

1. Mobile device power models for energy efficient dynamic offloading at runtime

2. Luca Ardito Giuseppe Procaccianti Marco Torchiano and Giuseppe Migliore. 2013. Profiling power consumption on mobile devices. (2013). Luca Ardito Giuseppe Procaccianti Marco Torchiano and Giuseppe Migliore. 2013. Profiling power consumption on mobile devices. (2013).

3. Aaron Carroll Gernot Heiser etal 2010. An Analysis of Power Consumption in a Smartphone.. In USENIX annual technical conference Vol. 14. Boston MA 21--21. Aaron Carroll Gernot Heiser et al. 2010. An Analysis of Power Consumption in a Smartphone.. In USENIX annual technical conference Vol. 14. Boston MA 21--21.

4. Location privacy: The challenges of mobile service devices

5. On simulation-based probabilistic model checking of mixed-analog circuits