{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:31:59Z","timestamp":1774801919651,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T00:00:00Z","timestamp":1223078400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.1007\/s11241-008-9062-5","type":"journal-article","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T14:40:27Z","timestamp":1223044827000},"page":"52-85","source":"Crossref","is-referenced-by-count":10,"title":["Cache-aware timing analysis of streaming\u00a0applications"],"prefix":"10.1007","volume":"41","author":[{"given":"Samarjit","family":"Chakraborty","sequence":"first","affiliation":[]},{"given":"Tulika","family":"Mitra","sequence":"additional","affiliation":[]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,4]]},"reference":[{"issue":"1","key":"9062_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1021711220939","volume":"24","author":"S Baruah","year":"2003","unstructured":"Baruah S (2003) Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Syst 24(1):93\u2013128","journal-title":"Real-Time Syst"},{"issue":"1","key":"9062_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008030427220","volume":"17","author":"S Baruah","year":"1999","unstructured":"Baruah S, Chen D, Gorinsky S, Mok AK (1999) Generalized multiframe tasks. Real-Time Syst 17(1):5\u201322","journal-title":"Real-Time Syst"},{"key":"9062_CR3","doi-asserted-by":"crossref","unstructured":"Chakraborty S, K\u00fcnzli S, Thiele L (2003a) A\u00a0general framework for analysing system properties in platform-based embedded system designs. In: Proc. of the 6th design, automation and test in Europe (DATE), pp\u00a0190\u2013195, Munich, Germany, March 2003","DOI":"10.1109\/DATE.2003.1253607"},{"issue":"5","key":"9062_CR4","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/S1389-1286(02)00454-1","volume":"41","author":"S Chakraborty","year":"2003","unstructured":"Chakraborty S, K\u00fcnzli S, Thiele L, Herkersdorf A, Sagmeister P (2003b) Performance evaluation of network processor architectures: Combining simulation with analytical estimation. Comput Netw 41(5):641\u2013665","journal-title":"Comput Netw"},{"issue":"8","key":"9062_CR5","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1109\/TCAD.2004.831575","volume":"23","author":"X Chen","year":"2004","unstructured":"Chen X, Hsieh H, Balarin F, Watanabe Y (2004) Logic of constraints: A\u00a0quantitative performance and functional constraint formalism. IEEE Trans Comput-Aided Design Integr Circuits Syst (TCAD) 23(8):1243\u20131255","journal-title":"IEEE Trans Comput-Aided Design Integr Circuits Syst (TCAD)"},{"issue":"3","key":"9062_CR6","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TAC.1985.1103925","volume":"30","author":"G Cohen","year":"1985","unstructured":"Cohen G, Dubois D, Quadrat JP, Viot M (1985) A\u00a0linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Trans Autom Control 30(3):210\u2013220","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"9062_CR7","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/18.61109","volume":"37","author":"R Cruz","year":"1991","unstructured":"Cruz R (1991) A calculus for network delay, parts\u00a01 &\u00a02. IEEE Trans Inf Theory 37(1):114\u2013141","journal-title":"IEEE Trans Inf Theory"},{"key":"9062_CR8","doi-asserted-by":"crossref","unstructured":"Datta A, Choudhury S, Basu A, Tomiyama H, Dutt N (2001) Satisfying timing constraints of preemptive real-time tasks through task layout technique. In: IEEE international conference on VLSI design","DOI":"10.1109\/ICVD.2001.902646"},{"key":"9062_CR9","unstructured":"Engblom J (2002) Pipelines and static worst-case execution time analysis. PhD thesis, Uppsala University, Sweden"},{"key":"9062_CR10","doi-asserted-by":"crossref","unstructured":"Gordon MI et al (2002) A stream compiler for communication-exposed architectures. In: 10th Conf on architectural support for programming languages and operating systems (ASPLOS)","DOI":"10.1145\/605397.605428"},{"key":"9062_CR11","doi-asserted-by":"crossref","unstructured":"Jersak M, Henia R, Ernst R (2004) Context-aware performance analysis for efficient embedded system design. In: Proc. of the 7th design, automation and test in Europe (DATE)","DOI":"10.1109\/DATE.2004.1269031"},{"issue":"3","key":"9062_CR12","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0012-365X(78)90011-0","volume":"23","author":"RM Karp","year":"1978","unstructured":"Karp RM (1978) A characterization of the minimum cycle mean in a digraph. Discrete Math 23(3):309\u2013311","journal-title":"Discrete Math"},{"issue":"2","key":"9062_CR13","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/40.918001","volume":"21","author":"B Khailany","year":"2001","unstructured":"Khailany B et al. (2001) Imagine: Media processing with streams. IEEE Micro 21(2):35\u201346","journal-title":"IEEE Micro"},{"key":"9062_CR14","series-title":"LNCS","volume-title":"Network calculus\u2014A\u00a0theory of deterministic queuing systems for the Internet","author":"J-Y Boudec Le","year":"2001","unstructured":"Le Boudec J-Y, Thiran P (2001) Network calculus\u2014A\u00a0theory of deterministic queuing systems for the Internet. LNCS, vol\u00a02050. Springer, Berlin"},{"key":"9062_CR15","unstructured":"Lee M et al (1993) A dual-mode instruction prefetch scheme for improved worst case and average case program execution times. In: IEEE international real-time systems symposium (RTSS)"},{"issue":"6","key":"9062_CR16","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1109\/12.689649","volume":"47","author":"C-G Lee","year":"1998","unstructured":"Lee C-G et al. (1998) Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. IEEE Trans Comput 47(6):700\u2013713","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"9062_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/315773.315778","volume":"4","author":"Y-TS Li","year":"1999","unstructured":"Li Y-TS, Malik S, Wolfe A (1999) Performance estimation of embedded software with instruction cache modeling. ACM Trans Design Autom Electron Syst 4(3):257\u2013279","journal-title":"ACM Trans Design Autom Electron Syst"},{"key":"9062_CR18","doi-asserted-by":"crossref","unstructured":"Li X, Mitra T, Roychoudhury A (2003) Accurate timing analysis by modeling caches, speculation and their interaction. In: ACM design automation conf. (DAC)","DOI":"10.1145\/775832.775953"},{"key":"9062_CR19","unstructured":"Li X, Roychoudhury A, Mitra T (2004) Modeling out-of-order processors for software timing analysis. In: IEEE real-time systems symposium (RTSS)"},{"key":"9062_CR20","unstructured":"Lieverse P, Stefanov T, van der Wolf P, Deprettere EF (2001) System level design with Spade: an M-JPEG case study. In: ICCAD"},{"key":"9062_CR21","doi-asserted-by":"crossref","unstructured":"Lundqvist T, Stenstr\u00f6m P (1999) Timing anomalies in dynamically scheduled microprocessors. In: IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/REAL.1999.818824"},{"key":"9062_CR22","unstructured":"Mathematica 5 (2003) Wolfram research. http:\/\/www.wolfram.com\/products\/mathematica\/index.html"},{"key":"9062_CR23","doi-asserted-by":"crossref","unstructured":"Maxiaguine A, K\u00fcnzli S, Chakraborty S, Thiele L (2004) Rate analysis for streaming applications with on-chip buffer constraints. In: ASP-DAC","DOI":"10.1109\/ASPDAC.2004.1337553"},{"key":"9062_CR24","volume-title":"Compiler design handbook","author":"T Mitra","year":"2007","unstructured":"Mitra T, Roychoudhury A (2007) Worst-case execution time and energy analysis. In: Compiler design handbook, 2nd\u00a0edn. CRC, Boca Raton","edition":"2"},{"issue":"10","key":"9062_CR25","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1109\/32.637146","volume":"23","author":"AK Mok","year":"1997","unstructured":"Mok AK, Chen D (1997) A multiframe model for real-time tasks. IEEE Trans Softw Eng 23(10):635\u2013645","journal-title":"IEEE Trans Softw Eng"},{"key":"9062_CR26","doi-asserted-by":"crossref","unstructured":"Negi HS, Mitra T, Roychoudhury A (2003) Accurate estimation of cache related preemption delay. In: CODES+ISSS","DOI":"10.1145\/944696.944698"},{"issue":"11","key":"9062_CR27","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/2.963445","volume":"34","author":"AD Pimentel","year":"2001","unstructured":"Pimentel AD, Hertzberger LO, Lieverse P, van der Wolf P, Deprettere EF (2001) Exploring embedded-systems architectures with Artemis. IEEE Comput 34(11):57\u201363","journal-title":"IEEE Comput"},{"key":"9062_CR28","doi-asserted-by":"crossref","unstructured":"Puaut I, Decotigny D (2002) Low-complexity algorithms for static cache locking in multitasking hard real-time systems. In: IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/REAL.2002.1181567"},{"issue":"2","key":"9062_CR29","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P Puschner","year":"1989","unstructured":"Puschner P, Koza C (1989) Calculating the maximum execution time of real-time programs. J\u00a0Real-Time Syst 1(2):159\u2013176","journal-title":"J\u00a0Real-Time Syst"},{"key":"9062_CR30","volume-title":"Proceedings of the design, automation and test in Europe conference (DATE)","author":"K Richter","year":"2002","unstructured":"Richter K, Ernst R (2002) Event model interfaces for heterogeneous system analysis. In: Proceedings of the design, automation and test in Europe conference (DATE). IEEE Computer Society, Los Alamitos"},{"key":"9062_CR31","volume-title":"Proceedings of the design automation conference (DAC)","author":"K Richter","year":"2002","unstructured":"Richter K, Ziegenbein D, Jersak M, Ernst R (2002) Model composition for scheduling analysis in platform design. In: Proceedings of the design automation conference (DAC). ACM, New York"},{"issue":"4","key":"9062_CR32","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.2003.1193230","volume":"36","author":"K Richter","year":"2003","unstructured":"Richter K, Jersak M, Ernst R (2003a) A\u00a0formal approach to MpSoC performance verification. IEEE Comput 36(4):60\u201367","journal-title":"IEEE Comput"},{"key":"9062_CR33","doi-asserted-by":"crossref","unstructured":"Richter K, Racu R, Ernst R (2003b) Scheduling analysis integration for heterogeneous multiprocessor soc. In: IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/REAL.2003.1253270"},{"issue":"4","key":"9062_CR34","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MDT.2002.1018132","volume":"19","author":"MJ Rutten","year":"2002","unstructured":"Rutten MJ, van Eijndhoven JTJ, Jaspers EGT, van der Wolf P, Gangwal OP, Timmer A (2002) A heterogeneous multiprocessor architecture for flexible media processing. IEEE Des Test Comput 19(4):39\u201350","journal-title":"IEEE Des Test Comput"},{"issue":"8","key":"9062_CR35","doi-asserted-by":"crossref","first-page":"997","DOI":"10.1109\/12.238493","volume":"42","author":"JE Sasinowski","year":"1993","unstructured":"Sasinowski JE, Strosnider JK (1993) A\u00a0dynamic programming algorithm for cache\/memory partitioning for real-time systems. IEEE Trans Comput 42(8):997\u20131001","journal-title":"IEEE Trans Comput"},{"issue":"7","key":"9062_CR36","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"AC Shaw","year":"1989","unstructured":"Shaw AC (1989) Reasoning about time in higher level language software. IEEE Trans Softw Eng 15(7):875\u2013889","journal-title":"IEEE Trans Softw Eng"},{"key":"9062_CR37","doi-asserted-by":"crossref","unstructured":"Staschulat J, Ernst R (2004) Multiple process execution in cache related preemption delay analysis. In: ACM international conference on embedded software (EMSOFT)","DOI":"10.1145\/1017753.1017798"},{"key":"9062_CR38","doi-asserted-by":"crossref","unstructured":"Staschulat J, Ernst R (2005) Scheduling analysis of real-time systems with precise modeling of cache related preemption delay. In: Euromicro conference on real-time systems (ECRTS)","DOI":"10.1109\/ECRTS.2005.26"},{"issue":"2\/3","key":"9062_CR39","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008141130870","volume":"18","author":"H Theiling","year":"2000","unstructured":"Theiling H, Ferdinand C, Wilhelm R (2000) Fast and precise WCET prediction by separated cache and path analysis. J\u00a0Real-Time Syst 18(2\/3):157\u2013179","journal-title":"J\u00a0Real-Time Syst"},{"key":"9062_CR40","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Proceedings of the 11th conference on compiler construction","author":"W Thies","year":"2002","unstructured":"Thies W, Karczmarek M, Amarasinghe S (2002) StreamIt: A language for streaming applications. In: Proceedings of the 11th conference on compiler construction. LNCS, vol\u00a02304. Springer, Berlin, pp\u00a0179\u2013196"},{"key":"9062_CR41","doi-asserted-by":"crossref","unstructured":"Tomiyama H, Dutt N (2000) Program path analysis to bound cache-related preemption delay in preemptive real-time systems. In: ACM int. symp. on hardware\u2013software codesign (CODES)","DOI":"10.1145\/334012.334025"},{"key":"9062_CR42","doi-asserted-by":"crossref","unstructured":"Vera X, Lisper B, Xue J (2003) Data caches in multitasking hard real-time systems. In: International real-time systems symposium (RTSS)","DOI":"10.1109\/REAL.2003.1253263"},{"key":"9062_CR43","doi-asserted-by":"crossref","unstructured":"Wandeler E, Thiele L (2005) Abstracting functionality for modular performance analysis of hard real-time systems. In: Asia and South Pacific design automation conference (ASP-DAC)","DOI":"10.1145\/1120725.1120997"},{"issue":"2\u20133","key":"9062_CR44","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s11241-005-6885-x","volume":"29","author":"E Wandeler","year":"2005","unstructured":"Wandeler E, Maxiaguine A, Thiele L (2005) Quantitative characterization of event streams in analysis of hard real-time applications. Real-Time Syst 29(2\u20133):205\u2013225","journal-title":"Real-Time Syst"},{"key":"9062_CR45","doi-asserted-by":"crossref","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand\u00a0C, Heckmann\u00a0R, Mitra\u00a0T, Mueller\u00a0F, Puaut I, Puschner P, Staschulat J, Stenstr\u00f6m P (2008) The determination of worst-case execution times\u2014Overview of the methods and survey of tools. ACM Trans Embed Comput Syst (TECS) 7(3)","DOI":"10.1145\/1347375.1347389"},{"key":"9062_CR46","doi-asserted-by":"crossref","unstructured":"\u017divkovi\u0107 VD, van der Wolf P, Deprettere EF, de Kock EA (2002) Design space exploration of streaming multiprocessor architectures. In: IEEE workshop on signal processing systems (SIPS), San Diego, California","DOI":"10.1109\/SIPS.2002.1049714"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-008-9062-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-008-9062-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-008-9062-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:09:52Z","timestamp":1559387392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-008-9062-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,4]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["9062"],"URL":"https:\/\/doi.org\/10.1007\/s11241-008-9062-5","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,4]]}}}