{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:01:32Z","timestamp":1742914892520,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243486"},{"type":"electronic","value":"9783642243493"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_7","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"145-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reconciling Compilation and Timing Analysis"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Falk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Marwedel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Lokuciejewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"7_CR1","unstructured":"AbsInt Angewandte Informatik GmbH: aiT: Worst-case execution time analyzers. http:\/\/www.absint.com\/ait (2012)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Banakar R, Steinke S, Lee BS, Balakrishnan M, Marwedel P (2002) Scratchpad memory: A design alternative for cache on-chip memory in embedded systems. In: Proceedings of the international symposium on hardware\/software codesign (CODES), Estes Park, USA, pp 73\u201378","DOI":"10.1145\/774789.774805"},{"key":"7_CR3","unstructured":"Commission of the European Community: Updated Work Programme 2009 and Work Programme 2010, ICT \u2013 Information and Communications Technologies. http:\/\/cordis.europa.eu\/fp7\/ict (2009)"},{"key":"7_CR4","unstructured":"Edwards SA (2001) Dataflow languages. http:\/\/www.cs.columbia.edu\/~sedwards\/classes\/2001\/w4995-02\/presentations\/dataflow.ppt (2001)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Falk H (2009) WCET-aware register allocation based on graph coloring. In: Proceedings of the 46th design automation conference (DAC), San Francisco, pp 726\u2013731","DOI":"10.1145\/1629911.1630100"},{"key":"7_CR6","unstructured":"Falk H (2010) WCET-aware compilation. http:\/\/ls12-www.cs.tu-dortmund.de\/research\/activities\/wcc (2010)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Falk H, Kleinsorge JC (2009) Optimal static WCET-aware scratchpad allocation of program code. In: Proceedings of the 46th design automation conference (DAC), San Francisco, pp 732\u2013737","DOI":"10.1145\/1629911.1630101"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Falk H, Lokuciejewski P, Theiling H (2006) Design of a WCET-aware C compiler. In: Proceedings of the 4th IEEE workshop on embedded systems for real-time multimedia (ESTIMedia), Seoul, Korea, pp 121\u2013126","DOI":"10.1109\/ESTMED.2006.321284"},{"key":"7_CR9","unstructured":"Holsti N, Gustafsson J, Bernat G et\u00a0al (2008) WCET tool challenge 2008: Report. In: Proceedings of the 8th international workshop on worst-case execution time analysis (WCET). Prague, Czech Republic"},{"key":"7_CR10","unstructured":"Informatik Centrum Dortmund e.\u2009V.: ICD-C Compiler framework. http:\/\/www.icd.de\/es\/icd-c (2012)"},{"key":"7_CR11","unstructured":"Informatik Centrum Dortmund e.\u2009V.: ICD-LLIR Low-level intermediate representation. http:\/\/www.icd.de\/es\/icd-llir (2012)"},{"key":"7_CR12","unstructured":"IT Facts: Home page. http:\/\/www.itfacts.biz (2012)"},{"issue":"7","key":"7_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.2005.211","volume":"38","author":"EA Lee","year":"2005","unstructured":"Lee EA (2005) Absolutely positively on time: What would it take? Embedded Syst Column, IEEE Comp 38(7):85\u201387","journal-title":"IEEE Comp"},{"key":"7_CR14","unstructured":"Lee EA (2006) The future of embedded software. ARTEMIS conference, Graz, http:\/\/ptolemy.eecs.berkeley.edu\/presentations\/06\/FutureOfEmbeddedSoftware_Lee_Graz.ppt (2006)"},{"key":"7_CR15","unstructured":"Lee EA (2007) Computing foundations and practice for cyber-physical systems: A preliminary report. Tech. Rep. UCB\/EECS-2007-72, EECS Department, University of California, Berkeley"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Lokuciejewski P, Marwedel P (2009) Combining worst-case timing models, loop unrolling, and static loop analysis for WCET minimization. In: Proceedings of the 21st euromicro conference on real-time systems (ECRTS), Dublin, Ireland, pp 35\u201344","DOI":"10.1109\/ECRTS.2009.9"},{"key":"7_CR17","first-page":"136","volume-title":"A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models","author":"P Lokuciejewski","year":"2009","unstructured":"Lokuciejewski P, Cordes D, Falk H, Marwedel P (2009a) A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models. In: Proceedings of the international symposium on code generation and optimization (CGO), Seattle, pp 136\u2013146"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lokuciejewski P, Gedikli F, Marwedel P (2009b) Accelerating WCET-driven Optimizations by the Invariant Path \u2013 a case study of loop unswitching. In: Proceedings of the 12th international workshop on software & compilers for embedded systems (SCOPES), Nice, France, pp 11\u201320","DOI":"10.1145\/1543820.1543823"},{"key":"7_CR19","unstructured":"Lokuciejewski P, Gedikli F, Marwedel P, Morik K (2009) Automatic WCET reduction by machine learning based heuristics for function inlining. In: Proceedings of the 3rd workshop on statistical and machine learning approaches to architectures and compilation (SMART), Paphos, Cyprus, pp 1\u201315"},{"key":"7_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0257-8","volume-title":"Embedded system design","author":"P Marwedel","year":"2011","unstructured":"Marwedel P (2011) Embedded system design. 2nd edition, Springer, Heidelberg","edition":"2"},{"key":"7_CR21","unstructured":"National Research Council (2001) Embedded, everywhere. National Academies Press"},{"key":"7_CR22","unstructured":"Plazar S, Lokuciejewski P, Marwedel P (2009) WCET-aware software based cache partitioning for multi-task real-time systems. In: Proceedings of the 9th international workshop on worst-case execution time analysis (WCET), Dublin, Ireland, pp 78\u201388"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Steinke S, Wehmeyer L, Lee BS, Marwedel P (2002) Assigning program and data objects to scratchpad for energy reduction. In: Proceedings of design, automation and test in Europe (DATE), Paris, France, pp 409\u2013415","DOI":"10.1109\/DATE.2002.998306"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Wehmeyer L, Marwedel P (2005) Influence of memory hierarchies on predictability for time constrained embedded software. In: Proceedings of design automation and test in Europe (DATE), Munich, Germany, pp 600\u2013605","DOI":"10.1109\/DATE.2005.183"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T05:42:36Z","timestamp":1681796556000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_7","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}