{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:34:46Z","timestamp":1725820486856},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175805"},{"type":"electronic","value":"9783319175812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17581-2_10","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T12:22:36Z","timestamp":1429100556000},"page":"142-158","source":"Crossref","is-referenced-by-count":2,"title":["Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems"],"prefix":"10.1007","author":[{"given":"Timon","family":"Kelter","sequence":"first","affiliation":[]},{"given":"Peter","family":"Marwedel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Chattopadhyay, S., Kee, C., Roychoudhury, A., Kelter, T., Marwedel, P., Falk, H.: A unified WCET analysis framework for multi-core platforms. In: Real-Time and Embedded Technology and Applications Symposium (2012)","DOI":"10.1109\/RTAS.2012.26"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s11241-010-9101-x","volume":"46","author":"H Falk","year":"2010","unstructured":"Falk, H., Lokuciejewski, P.: A compiler framework for the reduction of worst-case execution times. J. Real-Time Syst. 46(2), 251\u2013300 (2010)","journal-title":"J. Real-Time Syst."},{"key":"10_CR3","first-page":"104","volume-title":"Real Time in Sweden 2011","author":"A Gustavsson","year":"2011","unstructured":"Gustavsson, A.: Worst-case execution time analysis of parallel systems. In: Nystr\u00f6m, D., Nolte, T. (eds.) Real Time in Sweden 2011, pp. 104\u2013107. Dag Nystr\u00f6m and Thomas Nolte, Sweden (2011)"},{"key":"10_CR4","unstructured":"Hahn, S., Reineke, J., Wilhelm, R.: Towards compositionality in execution time analysis - definition and challenges. In: International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, December 2013"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Kelter, T., Falk, H., Marwedel, P., Chattopadhyay, S., Roychoudhury, A.: Bus-aware multicore WCET analysis through TDMA offset bounds. In: Euromicro Conference on Real-Time Systems, pp. 3\u201312. Porto, Portugal, July 2011","DOI":"10.1109\/ECRTS.2011.9"},{"key":"10_CR6","unstructured":"Kelter, T., Harde, T., Marwedel, P., Falk, H.: Evaluation of resource arbitration methods for multi-core real-time systems. In: International Workshop on Worst-Case Execution Time Analysis, July 2013"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Symposium on Principles of Programming Languages, pp. 194\u2013206. ACM, New York (1973)","DOI":"10.1145\/512927.512945"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Kleinsorge, J.C., Falk, H., Marwedel, P.: Simple analysis of partial worst-case execution paths on general control flow graphs. In: Proceedings of the International Conference on Embedded Software, pp. 1\u201310, September 2013","DOI":"10.1109\/EMSOFT.2013.6658594"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"18","author":"J Knoop","year":"1996","unstructured":"Knoop, J., Steffen, B., Vollmer, J.: Parallelism for free: efficient and optimal bitvector analyses for parallel programs. ACM Trans. Program. Lang. Syst. 18(3), 268\u2013299 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Li, Y., Suhendra, V., Liang, Y., Mitra, T., Roychoudhury, A.: Timing analysis of concurrent programs running on shared cache multi-cores. In: IEEE Real-Time Systems Symposium, pp. 57\u201367. IEEE Computer Society, Washington (2009)","DOI":"10.1109\/RTSS.2009.32"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Li, Y.T.S., Malik, S.: Performance analysis of embedded software using implicit path enumeration. In: Proceedings of the Annual ACM\/IEEE Design Automation Conference, pp. 456\u2013461. ACM, New York (1995)","DOI":"10.1145\/217474.217570"},{"key":"10_CR12","unstructured":"Mittermayr, R., Blieberger, J.: Timing analysis of concurrent programs. In: International Workshop on Worst-Case Execution Time Analysis, pp. 59\u201368 (2012)"},{"key":"10_CR13","first-page":"21","volume-title":"International Workshop on Worst-Case Execution Time Analysis","author":"D Potop-Butucaru","year":"2013","unstructured":"Potop-Butucaru, D., Puaut, I.: Integrated worst-case execution time estimation of multicore applications. In: Maiza, C. (ed.) International Workshop on Worst-Case Execution Time Analysis, pp. 21\u201331. Dagstuhl, Germany (2013)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Schliecker, S., Negrean, M., Nicolescu, G., Paulin, P., Ernst, R.: Reliable performance analysis of a multicore multithreaded system-on-chip. In: International Conference on Hardware\/Software Codesign and System Synthesis, pp. 161\u2013166. ACM, New York (2008)","DOI":"10.1145\/1450135.1450172"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Schranzhofer, A., Pellizzoni, R., Chen, J.J., Thiele, L., Caccamo, M.: Worst-case response time analysis of resource access models in multi-core systems. In: Design Automation Conference (2010)","DOI":"10.1145\/1837274.1837359"},{"key":"10_CR16","unstructured":"Synopsys Inc.: CoMET System Engineering IDE. http:\/\/www.synopsys.com"},{"issue":"5","key":"10_CR17","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/69586.69587","volume":"26","author":"RN Taylor","year":"1983","unstructured":"Taylor, R.N.: A general-purpose algorithm for analyzing concurrent programs. Commun. ACM 26(5), 361\u2013376 (1983)","journal-title":"Commun. ACM"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-51285-3_35","volume-title":"Parallel Architectures and Languages Europe","author":"A Valmari","year":"1989","unstructured":"Valmari, A.: Eliminating redundant interleavings during concurrent program verification. In: Odijk, E., Rem, M., Syre, J.C. (eds.) Parallel Architectures and Languages Europe. LNCS, vol. 366, pp. 89\u2013103. Springer, Heidelberg (1989)"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17581-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T13:37:03Z","timestamp":1566567423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-17581-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175805","9783319175812"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17581-2_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}