{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T23:22:22Z","timestamp":1756682542037,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,6]]},"DOI":"10.1145\/3696355.3696366","type":"proceedings-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:55:46Z","timestamp":1735905346000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5925-8856","authenticated-orcid":false,"given":"Pierre-Emmanuel","family":"Hladik","sequence":"first","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, LS2N, UMR 6004, Nantes, FR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0334-9692","authenticated-orcid":false,"given":"Houssam eddine","family":"Zahaf","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, LS2N, UMR 6004, Nantes, FR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1514-3579","authenticated-orcid":false,"given":"Sebastien","family":"Faucou","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, LS2N, UMR 6004, Nantes, FR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0598-0549","authenticated-orcid":false,"given":"Audrey","family":"Queudet","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, LS2N, UMR 6004, Nantes, FR"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.16"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS59052.2023.00011"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Ahmad Al\u00a0Sheikh Olivier Brun Maxime Ch\u00e9ramy and Pierre-Emmanuel Hladik. 2013. Optimal design of virtual links in AFDX networks. Real-Time Systems 49 3 (2013) 308\u2013336.","DOI":"10.1007\/s11241-012-9171-z"},{"key":"e_1_3_3_2_5_2","volume-title":"Workshop on Power Management for Real-time and Embedded systems","author":"Allavena Andre","year":"2001","unstructured":"Andre Allavena and Daniel Mosse. 2001. Scheduling of frame-based embedded systems with rechargeable batteries. In Workshop on Power Management for Real-time and Embedded systems."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Mohammad Asghari Amir\u00a0M. Fathollahi-Fard S.M.J. Mirzapour Al-e hashem and Maxim\u00a0A. Dulebenets. 2022. Transformation and Linearization Techniques in Optimization: A State-of-the-Art Survey. Mathematics 10 183 (2022).","DOI":"10.3390\/math10020283"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.32"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.32"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Sanjoy\u00a0K Baruah Vincenzo Bonifaci Renato Bruni and Alberto Marchetti-Spaccamela. 2019. ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors. Journal of Scheduling 22 (2019) 195\u2013209.","DOI":"10.1007\/s10951-018-0593-x"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2011.28"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.29"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Enrico Bini and Giorgio\u00a0C. Buttazzo. 2005. Measuring the Performance of Schedulability Tests. Real-Time Systems 30 1 (2005) 129\u2013154. 10.1007\/s11241-005-0507-9 https:\/\/dl.acm.org\/doi\/10.1007\/s11241-005-0507-9","DOI":"10.1007\/s11241-005-0507-9"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Giorgio\u00a0C Buttazzo Marko Bertogna and Gang Yao. 2012. Limited preemptive scheduling for real-time systems. a survey. IEEE transactions on Industrial Informatics 9 1 (2012) 3\u201315.","DOI":"10.1109\/TII.2012.2188805"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659798"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2007.37"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Maryline Chetto. 2014. Optimal scheduling for real-time jobs in energy harvesting computing systems. IEEE Transactions on Emerging Topics in Computing 2 2 (2014) 122\u2013133.","DOI":"10.1109\/TETC.2013.2296537"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Robert\u00a0I Davis Alan Burns Jose Marinho Vincent Nelis Stefan\u00a0M Petters and Marko Bertogna. 2015. Global and partitioned multiprocessor fixed priority scheduling with deferred preemption. ACM Transactions on Embedded Computing Systems (TECS) 14 3 (2015) 1\u201328.","DOI":"10.1145\/2739954"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Carmen Delgado and Jeroen Famaey. 2021. Optimal energy-aware task scheduling for batteryless IoT devices. IEEE Transactions on Emerging Topics in Computing 10 3 (2021) 1374\u20131387.","DOI":"10.1109\/TETC.2021.3086144"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.00-14"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996650"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Mohsen Karimi Hyunjong Choi Yidi Wang Yecheng Xiang and Hyoseung Kim. 2021. Real-Time Task Scheduling on Intermittently Powered Batteryless Devices. IEEE Internet of Things Journal 8 17 (2021) 13328\u201313342. 10.1109\/JIOT.2021.3065947","DOI":"10.1109\/JIOT.2021.3065947"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.126"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Haining Liu Ijaz\u00a0Haider Naqvi Fajia Li Chengliang Liu Neda Shafiei Yulong Li and Michael Pecht. 2020. An analytical model for the CC-CV charge of Li-ion batteries with application to degradation analysis. Journal of Energy Storage 29 (2020) 101342.","DOI":"10.1016\/j.est.2020.101342"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630113"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Clemens Moser Davide Brunelli Lothar Thiele and Luca Benini. 2007. Real-time scheduling for energy harvesting sensor nodes. Real-Time Systems 37 (2007) 233\u2013260.","DOI":"10.1007\/s11241-007-9027-0"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2015.7347580"},{"key":"e_1_3_3_2_27_2","first-page":"328","volume-title":"Proc. of the 6th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA)","author":"Wang Yun","year":"1999","unstructured":"Yun Wang and Manas Saksena. 1999. Scheduling fixed-priority tasks with preemption threshold. In Proc. of the 6th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA). 328\u2013335."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.44"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","unstructured":"Houssam-Eddine Zahaf Abou El\u00a0Hassen Benyamina Richard Olejnik and Giuseppe Lipari. 2017. Energy-efficient scheduling for moldable real-time tasks on heterogeneous computing platforms. Journal of Systems Architecture 74 (2017) 46\u201360. 10.1016\/j.sysarc.2017.01.002 https:\/\/dl.acm.org\/doi\/10.1016\/j.sysarc.2017.01.002","DOI":"10.1016\/j.sysarc.2017.01.002"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","unstructured":"Houssam-Eddine Zahaf Giuseppe Lipari Marko Bertogna and Pierre Boulet. 2019. The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems. IEEE Trans. Comput. 68 10 (2019) 1511\u20131524. 10.1109\/TC.2019.2909886","DOI":"10.1109\/TC.2019.2909886"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA50079.2020.9203643"}],"event":{"name":"RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems","acronym":"RTNS 2024","location":"Porto Portugal"},"container-title":["Proceedings of the 32nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3696366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3696366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:11Z","timestamp":1750295411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3696366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":30,"alternative-id":["10.1145\/3696355.3696366","10.1145\/3696355"],"URL":"https:\/\/doi.org\/10.1145\/3696355.3696366","relation":{},"subject":[],"published":{"date-parts":[[2024,11,6]]},"assertion":[{"value":"2025-01-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}