{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:05:35Z","timestamp":1770285935093,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DFG","award":["641649, KR 4970\/1-1"],"award-info":[{"award-number":["641649, KR 4970\/1-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1145\/3493229.3493304","type":"proceedings-article","created":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T11:15:52Z","timestamp":1636802152000},"page":"35-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["lospre in linear time"],"prefix":"10.1145","author":[{"given":"Philipp K.","family":"Krause","sequence":"first","affiliation":[{"name":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Guidelines for the Use of the C Language in Critical Systems (MISRA-C:2004","year":"2008","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004530010018"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(91)90006-K"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.38.8.716"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277653"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793251219"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/314613.314994"},{"key":"e_1_3_2_1_8_1","unstructured":"Hans L. Bodlaender and Arie M.C.A. Koster. Treewidth computations III. Exact algorithms and preprocessing. Unpublished manuscript.  Hans L. Bodlaender and Arie M.C.A. Koster. Treewidth computations III. Exact algorithms and preprocessing. Unpublished manuscript."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24841-5_6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776271"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297322"},{"key":"e_1_3_2_1_12_1","first-page":"112","volume-title":"Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal and Perfectly Parallel Algorithms for Ondemand Data-Flow Analysis","author":"Chatterjee Krishnendu","year":"2020"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645586.659457"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808480"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"e_1_3_2_1_16_1","first-page":"43","volume":"19","author":"Curnow H. J.","year":"1976","journal-title":"Wichmann. A Synthetic Benchmark. Computer Journal"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_3_2_1_18_1","first-page":"30","article-title":"Anatomy of a Compiler","volume":"121","author":"Dutta Sandeep","year":"2000","journal-title":"Circuit Cellar"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2006.1620789"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.01.007"},{"key":"e_1_3_2_1_21_1","volume-title":"May","author":"Gal-On Shay","year":"2012"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/857172.857261"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646680.702325"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01351673"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11860990_22"},{"key":"e_1_3_2_1_26_1","volume-title":"Implementing Profile-Guided Speculative Code Motion in LLVM. Technical report","author":"Jaiyen Ben","year":"2012"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167281"},{"key":"e_1_3_2_1_28_1","unstructured":"Ton Kloks. Treewidth: Computations and Approximations.  Ton Kloks. Treewidth: Computations and Approximations."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143136"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463596.2463598"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3207719.3207726"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2019.01.027"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/359060.359069"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223514"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(84)90013-3"},{"key":"e_1_3_2_1_39_1","volume-title":"Diplomarbeit","author":"R\u00f6hrig Hein","year":"1998"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/998300.997195"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2697"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/47907.47911"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138035.1138036"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993510"}],"event":{"name":"SCOPES '21: 24th International Workshop on Software and Compilers for Embedded Systems","location":"Eindhoven Netherlands","acronym":"SCOPES '21","sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 24th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3493229.3493304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3493229.3493304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:59:57Z","timestamp":1750186797000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3493229.3493304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":43,"alternative-id":["10.1145\/3493229.3493304","10.1145\/3493229"],"URL":"https:\/\/doi.org\/10.1145\/3493229.3493304","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]},"assertion":[{"value":"2021-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}