{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:48Z","timestamp":1750220388445,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE25-0003"],"award-info":[{"award-number":["ANR-17-CE25-0003"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1145\/3477314.3507027","type":"proceedings-article","created":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:37:36Z","timestamp":1651883856000},"page":"481-490","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Improving CRPD analysis for EDF scheduling"],"prefix":"10.1145","author":[{"given":"Fabien","family":"Bouquillon","sequence":"first","affiliation":[{"name":"Univ. Lille, Lille, France and Univ. Polytechnique Hauts-de-France, Valenciennes, France"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[{"name":"Univ. Lille, Lille, France"}]},{"given":"Smail","family":"Niar","sequence":"additional","affiliation":[{"name":"Univ. Polytechnique Hauts-de-France, Valenciennes, France"}]}],"member":"320","published-online":{"date-parts":[[2022,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.08.006"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.21"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9152-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755951.1755911"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128747"},{"key":"e_1_3_2_1_6_1","volume-title":"OTAWA: An Open Toolbox for Adaptive WCET Analysis. In Software Technologies for Embedded and Ubiquitous Systems","author":"Ballabriga Cl\u00e9ment","year":"2010","unstructured":"Cl\u00e9ment Ballabriga, Hugues Cass\u00e9, Christine Rochange, and Pascal Sainrat. 2010. OTAWA: An Open Toolbox for Adaptive WCET Analysis. In Software Technologies for Embedded and Ubiquitous Systems, Sang Lyul Min, Robert Pettit, Peter Puschner, and Theo Ungerer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 35--46."},{"volume-title":"Static Analysis of Binary Code with Memory Indirections Using Polyhedra","author":"Ballabriga Cl\u00e9ment","key":"e_1_3_2_1_7_1","unstructured":"Cl\u00e9ment Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, and Jordy Ruiz. 2019. Static Analysis of Binary Code with Memory Indirections Using Polyhedra. In Verification, Model Checking, and Abstract Interpretation, Constantin Enea and Ruzica Piskac (Eds.). Springer International Publishing, Cham, 114--135."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2004.1311021"},{"key":"e_1_3_2_1_10_1","volume-title":"16th International Conference on Real-Time and Network Systems (RTNS","author":"Bourgade Roman","year":"2008","unstructured":"Roman Bourgade, Clement Ballabriga, Hugues Cass\u00e9, Christine Rochange, and Pascal Sainrat. 2008. Accurate analysis of memory latencies for WCET estimation. In 16th International Conference on Real-Time and Network Systems (RTNS 2008), Giorgio Buttazzo and Pascale Minet (Eds.). Isabelle Puaut, Rennes, France. https:\/\/hal.inria.fr\/inria-00336530"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.25"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2009.2285"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2016.2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2010.136"},{"key":"e_1_3_2_1_15_1","volume-title":"6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).","author":"Kramer Simon","year":"2015","unstructured":"Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)."},{"key":"e_1_3_2_1_16_1","volume-title":"Minsuk Lee, and Chong Sang Kim.","author":"Lee Chang-Gun","year":"1998","unstructured":"Chang-Gun Lee, Hoosun Hahn, Yang-Min Seo, SangLyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, and Chong Sang Kim. 1998. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. IEEE transactions on computers 47, 6 (1998), 700--713."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LITES-v001-i001-a001"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531081"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2020.5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2006.678"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2018.7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210275"}],"event":{"name":"SAC '22: The 37th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event","acronym":"SAC '22"},"container-title":["Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507027","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477314.3507027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:33Z","timestamp":1750191513000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507027"}},"subtitle":["trading speed for precision"],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":22,"alternative-id":["10.1145\/3477314.3507027","10.1145\/3477314"],"URL":"https:\/\/doi.org\/10.1145\/3477314.3507027","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]},"assertion":[{"value":"2022-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}