{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:24:15Z","timestamp":1755221055739,"version":"3.43.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1023\/a:1008101416758","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:17:47Z","timestamp":1040545067000},"page":"275-288","source":"Crossref","is-referenced-by-count":12,"title":["WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets"],"prefix":"10.1007","volume":"18","author":[{"given":"Frank","family":"Burns","sequence":"first","affiliation":[]},{"given":"Albert","family":"Koelmans","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"255152_CR1","doi-asserted-by":"crossref","unstructured":"Appel, A. W., and MacQueen, D. B. 1991. Standard ML of New Jersey. In Third Int. Symp. on Programming Languages Implementation and Logic Programming, Maluszy\u0144ski, J., and Wirsing, M., eds. Lecture Notes on Computer Science, Volume 528, Springer.","DOI":"10.1007\/3-540-54444-5_83"},{"key":"255152_CR2","first-page":"203","volume-title":"Proceedings of the Third Int. Workshop on Algorithms and Parallel VLSI Architectures","author":"D. K. Arvind","year":"1994","unstructured":"Arvind, D. K., and Rebello, V. E. F. 1994. Instruction-level parallelism in asynchronous processor architectures. In Proceedings of the Third Int. Workshop on Algorithms and Parallel VLSI Architectures, Moonen, M., and Catthoor, F., eds. Elsevier Science Publishers, Leuven, Belgium, pp. 203\u2013215."},{"key":"255152_CR3","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s100090050026","volume":"2","author":"F. P. Burns","year":"1999","unstructured":"Burns, F. P., Koelmans, A. M., and Yakovlev, A. V. 1999. Analysing superscalar processor architectures with coloured Petri nets. Int. J. Software Tools for Technology Transfer 2: 182\u2013191.","journal-title":"Int. J. Software Tools for Technology Transfer"},{"key":"255152_CR4","unstructured":"Choi, J., Lee, J., and Kong, I. 1994. Timing Analysis of Superscalar Programs using ACSR. Technical report, Dept. of Computer and Information Science, University of Pennsylvania."},{"key":"255152_CR5","doi-asserted-by":"crossref","unstructured":"Christensen, S., Jorgensen, J. B., and Kristensen, L.M. 1997. Design\/CPN-A computer tool for coloured Petri nets. In Proceedings of Tacas '97, Brinksma, E., ed. Lecture Notes on Computer Science, Volume 1217, Springer, pp. 209\u2013223.","DOI":"10.1007\/BFb0035390"},{"key":"255152_CR6","doi-asserted-by":"crossref","unstructured":"Diep, T. A. 1995. A visualization based microarchitecture workbench. Proc. Caregie Mellon University, PhD Thesis.","DOI":"10.1109\/2.476200"},{"key":"255152_CR7","unstructured":"Healy, C., Whalley, D. B., and Harmon, M. G. 1995. Integrating the timing analysis of pipelining and instruction caching. Proc. 16th Conf. Real-Time Systems Symposium."},{"key":"255152_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, K. 1997. Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 1, Basic concepts. EATCS Monographs in Theoretical Computer Science, Springer-Verlag, ISBN 3-540-58276-2.","DOI":"10.1007\/978-3-642-60794-3_1"},{"key":"255152_CR9","unstructured":"Johnson, M. 1991. Superscalar Microprocessor Design. Prentice Hall."},{"key":"255152_CR10","unstructured":"Li, Y. S., Malik, S., and Wolfe, A. 1995. Performance estimation of embedded software with instruction cache modelling. Proc. Int. Conf. Computer Aided Design."},{"key":"255152_CR11","doi-asserted-by":"crossref","unstructured":"Lim, S. S., Bae, Y. H., Jang, G. T., Rhee, B. D., Min, S. L., Park, C. Y., Shin, H., Park, K., and Kim, C. S. 1994. An accurate worst case timing analysis technique for RISC processors. Proc 15th IEEE Real-Time Systems Symp.: 97\u2013108.","DOI":"10.1109\/REAL.1994.342726"},{"key":"255152_CR12","unstructured":"Lim, S. S., Han, J. H., Kim, J., and Min, S. L. 1998. A worst case timing analysis technique for multiple-issue machines. Proc. 19th Conf. Real-Time Systems Symposium."},{"key":"255152_CR13","unstructured":"Narasimham, K., and Nilsen, K. D. 1994. Portable execution time analysis for RISC processors. Languages, Compilers, and Tools for Real-Time Systems."},{"issue":"1","key":"255152_CR14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"Park, C. Y. 1993. Predicting program execution times by analyzing static and dynamic program paths. J. Real Time Systems 5(1): 31\u201361.","journal-title":"J. Real Time Systems"},{"issue":"2","key":"255152_CR15","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P., and Koza, C. 1989. Calculating the maximum execution time of real-time programs. J. Real Time Systems 1(2): 159\u2013176.","journal-title":"J. Real Time Systems"},{"key":"255152_CR16","unstructured":"Razouk, R. R. 1987. The use of Petri nets for modeling pipelined processors. Technical Report 87-29, University of California, Department of Information and Computer Science."},{"issue":"7","key":"255152_CR17","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. C. Shaw","year":"1989","unstructured":"Shaw, A. C. 1989. Reasoning about time in higher-level language software. IEEE Trans. Software Engineering 15(7): 875\u2013889.","journal-title":"IEEE Trans. Software Engineering"},{"key":"255152_CR18","doi-asserted-by":"crossref","unstructured":"Schneider, J., and Ferdinand, C. 1999. Pipeline behaviour prediction for superscalar processors by abstract interpretation. Languages, Compilers, and Tools for Embedded Systems.","DOI":"10.1145\/314403.314432"},{"key":"255152_CR19","doi-asserted-by":"crossref","unstructured":"Zhang, N. N., Burns, A., and Nicholson, M. 1993. Pipelined processors and worst case execution times. J. Real Time Systems 5(4).","DOI":"10.1007\/BF01088834"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008101416758.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008101416758\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008101416758.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:07:58Z","timestamp":1754636878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008101416758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":19,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["255152"],"URL":"https:\/\/doi.org\/10.1023\/a:1008101416758","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}