{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:53:43Z","timestamp":1725828823348},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319235059"},{"type":"electronic","value":"9783319235066"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23506-6_14","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T11:50:40Z","timestamp":1441281040000},"page":"205-220","source":"Crossref","is-referenced-by-count":14,"title":["Toward Compact Abstractions for Processor Pipelines"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Hahn","sequence":"first","affiliation":[]},{"given":"Jan","family":"Reineke","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,10]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp. 269\u2013282. ACM Press (1979)","DOI":"10.1145\/567752.567778"},{"issue":"2\u20133","key":"14_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand, C., Wilhelm, R.: Efficient and precise cache behavior prediction for real-time systems. Real-Time Systems 17(2\u20133), 131\u2013181 (1999)","journal-title":"Real-Time Systems"},{"key":"14_CR3","series-title":"OASICS","first-page":"1","volume-title":"10th International Workshop on Worst-Case Execution Time Analysis, WCET","author":"G Gebhard","year":"2010","unstructured":"Gebhard, G.: Timing anomalies reloaded. In: Lisper, B. (ed.) 10th International Workshop on Worst-Case Execution Time Analysis, WCET. OASICS, vol. 15, pp. 1\u201310. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Germany (2010)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-45789-5_22","volume-title":"Static Analysis","author":"M Langenbach","year":"2002","unstructured":"Langenbach, M., Thesing, S., Heckmann, R.: Pipeline modeling for timing analysis. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 294\u2013309. Springer, Heidelberg (2002)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Liu, I., Reineke, J., Lee, E.A.: A PRET architecture supporting concurrent programs with composable timing properties. In: Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers, pp. 2111\u20132115. IEEE (2010)","DOI":"10.1109\/ACSSC.2010.5757922"},{"key":"14_CR6","series-title":"OASICS","volume-title":"6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","author":"J Reineke","year":"2006","unstructured":"Reineke, J., Wachter, B., Thesing, S., Wilhelm, R., Polian, I., Eisinger, J., Becker, B.: A definition and classification of timing anomalies. In: Mueller, F. (ed.) 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. OASICS, vol. 4. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Rochange, C., Sainrat, P.: A time-predictable execution mode for superscalar pipelines with instruction prescheduling. In: Bagherzadeh, N., Valero, M., Ram\u00edrez, A. (eds.) Proceedings of the Second Conference on Computing Frontiers, pp. 307\u2013314. ACM (2005)","DOI":"10.1145\/1062261.1062312"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 1999, pp. 105\u2013118. ACM, New York (1999)","DOI":"10.1145\/292540.292552"},{"key":"14_CR9","unstructured":"Thesing, S.: Safe and precise WCET determination by abstract interpretation of pipeline models. Ph.D. thesis, Saarland University (2005)"},{"key":"14_CR10","unstructured":"Wenzel, I., Kirner, R., Puschner, P., Rieder, B.: Principles of timing anomalies in superscalar processors. In: Fifth International Conference on Quality Software (QSIC 2005). IEEE (2005)"},{"key":"14_CR11","series-title":"OASICS","volume-title":"5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","author":"S Wilhelm","year":"2005","unstructured":"Wilhelm, S.: Efficient analysis of pipeline models for WCET computation. In: Wilhelm, R. (ed.) 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. OASICS, vol. 1. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2005)"}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23506-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:36:44Z","timestamp":1559252204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23506-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319235059","9783319235066"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23506-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}