{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:26Z","timestamp":1780994546623,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650751","type":"print"},{"value":"9783540496731","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057777","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:45:07Z","timestamp":1154321107000},"page":"16-30","source":"Crossref","is-referenced-by-count":58,"title":["On predicting data cache behavior for real-time systems"],"prefix":"10.1007","author":[{"given":"Christian","family":"Ferdinand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. In Proceedings of SAS\u201996, Static Analysis Symposium, LNCS 1145, pages 52\u201366. Springer, Sept. 1996.","DOI":"10.1007\/3-540-61739-6_33"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Alt and F. Martin. Generation of Efficient Interprocedural Analyzers with PAG. In Proceedings of SAS\u201995, Static Analysis Symposium, LNCS 983, pages 33\u201350. Springer, Sept. 1995.","DOI":"10.1007\/3-540-60360-3_31"},{"key":"2_CR3","first-page":"106","volume-title":"Static Determination of Dynamic Properties of Programs","author":"P. Cousot","year":"1976","unstructured":"P. Cousot and R. Cousot. Static Determination of Dynamic Properties of Programs. In Proceedings of the Second International Symposium on Programming, pages 106\u2013130, Dunod, Paris, France, 1976."},{"key":"2_CR4","unstructured":"C. Ferdinand. A Fast and Efficient Cache Persistence Analysis. Technical Report 10\/97, Universit\u00e4t des Saarlandes, Sonderforschungsbereich 124, Aug. 1997."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"C. Ferdinand. Cache Behavior Prediction for Real-Time Systems. Dissertation, Universit\u00e4t des Saarlandes, Sept. 1997.","DOI":"10.1007\/BFb0057777"},{"key":"2_CR6","unstructured":"C. Ferdinand, F. Martin, and R. Wilhelm. Applying Compiler Techniques to Cache Behavior Prediction. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, pages 37\u201346, June 1997."},{"key":"2_CR7","unstructured":"C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. Science of Computer Programming, 1998. Selected for SAS\u201996 special issue."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"D. Gannon, W. Jalby, and K. Gallivan. Strategies for Cache and Local Memory Management by Global Program Transformation. In Proceedings of the First International Conference on Supercomputing, June 1987.","DOI":"10.1007\/3-540-18991-2_14"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"S. Ghosh, M. Martonosi, and S. Malik. Cache Miss Equations: An Analytical Representation of Cache Misses. In Proceedings of the Eleventh ACM International Conference on Supercomputing, July 1997.","DOI":"10.1145\/263580.263657"},{"key":"2_CR10","unstructured":"Y. Hur, Y. H. Bea, S.-S. Lim, B.-D. Rhee, S. L. Min, Y. C. Park, M. Lee, H. Shin, and C. S. Kim. Worst Case Timing Analysis of RISC Processors: R3000\/R3010 Case Study. In Proceedings of the IEEE Real-Time Systems Symposium, pages 308\u2013319, Dec. 1995."},{"key":"2_CR11","unstructured":"S. Kim, S. Min, and R. Ha. Efficient Worst Case Timing Analysis of Data Caching. In Proceedings of the 1996 IEEE Real-Time Technology and Applications Symposium, pages 230\u2013240, June 1996."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"M. S. Lam, E. E. Rothberg, and M. E. Wolf. The Cache Performance and Optimization of Blocked Algorithms. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, Apr. 1991.","DOI":"10.1145\/106972.106981"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Y.-T. S. Li, S. Malik, and A. Wolfe. Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. In Proceedings of the IEEE Real-Time Systems Symposium, pages 298\u2013307, Dec. 1995.","DOI":"10.1109\/REAL.1995.495219"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Y.-T. S. Li, S. Malik, and A. Wolfe. Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches. In Proceedings of the IEEE Real-Time Systems Symposium, Dec. 1996.","DOI":"10.1109\/REAL.1996.563722"},{"issue":"7","key":"2_CR15","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S.-S. Lim","year":"1995","unstructured":"S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, S.-M. Moon, and C. S. Kim. An Accurate Worst Case Timing Analysis for RISC Processors. IEEE Transactions on Software Engineering, 21(7):593\u2013604, July 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J.-C. Liu and H.-J. Lee. Deterministic Upperbounds of the Worst-Case Execution Time of Cached Programs. In Proceedings of the IEEE Real-Time Systems Symposium, pages 182\u2013191, Dec. 1994.","DOI":"10.1109\/REAL.1994.342717"},{"key":"2_CR17","unstructured":"F. Mueller. Static Cache Simulation and its Applications. PhD Thesis, Florida State University, July 1994."},{"key":"2_CR18","unstructured":"F. Mueller. Generalizing Timing Predictions to Set-Associative Caches. Technical Report TR 96-66, Institut f\u00fcr Informatik, Humboldt-University, July 1996."},{"key":"2_CR19","unstructured":"F. Mueller, D. B. Whalley, and M. Harmon. Predicting Instruction Cache Behavior. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994."},{"key":"2_CR20","unstructured":"G. Ottoson and M. Sj\u00f6din. Worst-Case Execution Time Analysis for Modern Hardware Architectures. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, pages 47\u201355, June 1997."},{"issue":"5","key":"2_CR21","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Y. Park","year":"1991","unstructured":"C. Y. Park and A. C. Shaw. Experiments with a Program Timing Tool Based on Source-Level Timing Schema. IEEE Computer, 24(5):48\u201357, May 1991.","journal-title":"IEEE Computer"},{"key":"2_CR22","unstructured":"A. K. Porterfield. Software Methods for Improvement of Cache Performance on Supercomputer Applications. PhD Thesis, Rice University, May 1989."},{"key":"2_CR23","volume-title":"RIACS Technical Report 90.38","author":"R. Schreiber","year":"1990","unstructured":"R. Schreiber and J. J. Dongarra. Automatic Blocking of Nested Loops. RIACS Technical Report 90.38, Research Institute for Advanced Computer Science, NASA Ames Research Center, Moffett Field, CA 94035, Aug. 1990."},{"key":"2_CR24","unstructured":"M. Sicks. Adre\u00dfbestimmung zur Vorhersage des Verhaltens von Daten-Caches. Diplomarbeit, Universit\u00e4t des Saarlandes, 1997."},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"R. White, F. Mueller, C. A. Healy, D. B. Whalley, and M. Harmon. Timing Analysis for Data Caches and Set-Associative Caches. In Proceedings of the Real-Time Technology and Applications Symposium, pages 192\u2013202, June 1997.","DOI":"10.1109\/RTTAS.1997.601358"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"M. E. Wolf and M. S. Lam. A Data Locality Optimizing Algorithm. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 30\u201344, June 1991.","DOI":"10.1145\/113445.113449"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"M. E. Wolf and M. S. Lam. A Loop Transformation Theory and an Algorithm to Maximize Parallelism. IEEE Transactions on Parallel and Distributed Systems, July 1991.","DOI":"10.1109\/71.97902"},{"key":"2_CR28","volume-title":"PhD Thesis","author":"M. Wolfe","year":"1982","unstructured":"M. Wolfe. Optimizing Supercompilers for Supercomputers. PhD Thesis, University of Illinois at Urbana-Champaign, 1982."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T07:52:57Z","timestamp":1736495577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650751","9783540496731"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0057777","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}