{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T00:14:44Z","timestamp":1780964084299,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T00:00:00Z","timestamp":1715040000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["CNS-2107101"],"award-info":[{"award-number":["CNS-2107101"]}]},{"name":"DILUTE","award":["262854\/F20"],"award-info":[{"award-number":["262854\/F20"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,7]]},"DOI":"10.1145\/3649153.3649864","type":"proceedings-article","created":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T10:21:29Z","timestamp":1719915689000},"page":"61-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Energy-Aware IoT Deployment Planning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1248-487X","authenticated-orcid":false,"given":"Peiyuan","family":"Guan","sequence":"first","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1664-5286","authenticated-orcid":false,"given":"Animesh","family":"Dangwal","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1672-054X","authenticated-orcid":false,"given":"Amir","family":"Taherkordi","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3722-473X","authenticated-orcid":false,"given":"Rich","family":"Wolski","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4972-0669","authenticated-orcid":false,"given":"Chandra","family":"Krintz","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Mixed Integer Distributed Ant Colony Optimization. http:\/\/www.midaco-solver.com\/ Accessed Sep 2023."},{"key":"e_1_3_2_1_2_1","volume-title":"Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. In 2019 IEEE International Conference on Edge Computing (EDGE). 72--76","author":"Avasalcai Cosmin","year":"2019","unstructured":"Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar. 2019. Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. In 2019 IEEE International Conference on Edge Computing (EDGE). 72--76."},{"key":"e_1_3_2_1_3_1","article-title":"Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability","volume":"22","author":"Avasalcai Cosmin","year":"2021","unstructured":"Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar. 2021. Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability. ACM Trans. Internet Technol. 22, 1 (2021).","journal-title":"ACM Trans. Internet Technol."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems -","volume":"9035","author":"Bj\u00d8rner Nikolaj","year":"2015","unstructured":"Nikolaj Bj\u00d8rner, Anh-Dung Phan, and Lars Fleckenstein. 2015. VZ - An Optimizing SMT Solver. In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035. 194--199."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434770.3459741"},{"key":"e_1_3_2_1_6_1","first-page":"157","article-title":"V12. 1: User's Manual for CPLEX","volume":"46","author":"Cplex IBM ILOG","year":"2009","unstructured":"IBM ILOG Cplex. 2009. V12. 1: User's Manual for CPLEX. International Business Machines Corporation 46, 53 (2009), 157.","journal-title":"International Business Machines Corporation"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems. 337--340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2018.2872380"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0410-72"},{"key":"e_1_3_2_1_10_1","volume-title":"Internet-of-Things Design and Implementation (IoTDI), 2017 IEEE\/ACM Second International Conference on. IEEE, 247--258","author":"Elias A. Rosales","unstructured":"A. Rosales Elias, N. Golubovic, C. Krintz, and R. Wolski. 2017. Where's the Bear? - Automating Wildlife Image Processing Using IoT and Edge Cloud Systems. In Internet-of-Things Design and Implementation (IoTDI), 2017 IEEE\/ACM Second International Conference on. IEEE, 247--258."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152141.3152391"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2021.3099005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CAVS.2019.8887792"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"N. Golubovic C. Krintz R. Wolski B. Sethuramasamyraja and B. Liu. 2018. A Scalable System for Executing and Scoring K-Means Clustering Techniques and Its Impact on Applications in Agriculture. International Journal of Big Data Intelligence (July 2018).","DOI":"10.1504\/IJBDI.2019.10021277"},{"key":"e_1_3_2_1_15_1","volume-title":"IEEE Conference on IoT.","author":"Golubovic N.","unstructured":"N. Golubovic, R. Wolski, C. Krintz, and M. Mock. 2019. Improving the Accuracy of Outdoor Temperature Prediction by IoT Devices. In IEEE Conference on IoT."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2018.1700906"},{"key":"e_1_3_2_1_17_1","article-title":"Energy-Efficient Wireless Sensor Networks for Precision Agriculture","volume":"17","author":"Jawad H.","year":"2017","unstructured":"H. Jawad, R. Nordin, S. Gharghan, A. Jawad, and M. Ismail. 2017. Energy-Efficient Wireless Sensor Networks for Precision Agriculture: A Review. Sensors 17, 1781 (2017).","journal-title":"A Review. Sensors"},{"key":"e_1_3_2_1_18_1","volume-title":"SmartFarm: Improving Agriculture Sustainability Using Modern Information Technology. In KDD Workshop on Data Science for Food, Energy, and Water.","author":"Krintz C.","unstructured":"C. Krintz, R. Wolski, N. Golubovic, B. Lampel, V. Kulkarni, B. Sethuramasamyraja, B. Roberts, and B. Liu. 2016. SmartFarm: Improving Agriculture Sustainability Using Modern Information Technology. In KDD Workshop on Data Science for Food, Energy, and Water."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/VTCFall.2016.7881956"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11063-021-10708-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3105944"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"G. Pottie and W. Kaiser. 2000. Wireless Integrated Network Sensors. Commun. ACM 43 5 (2000).","DOI":"10.1145\/332833.332838"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-020-00945-y"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"T. Rault A. Bouabdallah and Y. Challal. 2014. Energy efficiency in wireless sensor networks: A top-down survey. Computer Networks 67 (2014).","DOI":"10.1016\/j.comnet.2014.03.027"},{"key":"e_1_3_2_1_25_1","volume-title":"SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. In 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE).","author":"Roselli Sabino Francesco","year":"2019","unstructured":"Sabino Francesco Roselli, Kristofer Bengtsson, and Knut \u00c5kesson. 2019. SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. In 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"M. Schlueter J. Egea and J. Banga. 2009. Extended Ant Colony Optimization for non-convex Mixed Integer Nonlinear Programming. Computers and Operations Research 36 7 (2009).","DOI":"10.1016\/j.cor.2008.08.015"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.3390\/s16101702"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410951"},{"key":"e_1_3_2_1_29_1","volume-title":"https:\/\/sites.cs.ucsb.edu\/~ckrintz\/projects\/. [Online","author":"SmartFarm UCSB","year":"2023","unstructured":"UCSB SmartFarm 2024. UCSB SmartFarm. https:\/\/sites.cs.ucsb.edu\/~ckrintz\/projects\/. [Online; accessed 17-April-2023]."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155524"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCOMM.2020.2998474"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3091321"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2021.3089476"},{"key":"e_1_3_2_1_34_1","volume-title":"d.]. Z3 Prover. https:\/\/github.com\/Z3Prover\/z3. [Online","author":"Prover","year":"2023","unstructured":"Z3 Prover [n. d.]. Z3 Prover. https:\/\/github.com\/Z3Prover\/z3. [Online; accessed 12-September-2023]."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCWorkshops49005.2020.9145118"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2021.3106937"}],"event":{"name":"CF '24: 21st ACM International Conference on Computing Frontiers","location":"Ischia Italy","acronym":"CF '24","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 21st ACM International Conference on Computing Frontiers"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649153.3649864","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649153.3649864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:02Z","timestamp":1750287002000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649153.3649864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,7]]},"references-count":36,"alternative-id":["10.1145\/3649153.3649864","10.1145\/3649153"],"URL":"https:\/\/doi.org\/10.1145\/3649153.3649864","relation":{},"subject":[],"published":{"date-parts":[[2024,5,7]]},"assertion":[{"value":"2024-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}