{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:40Z","timestamp":1725543640428},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_15","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"261-281","source":"Crossref","is-referenced-by-count":9,"title":["Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Meuse N. O.","family":"Junior","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvino","family":"Neto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimundo","family":"Barreto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Tavares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederico","family":"Braga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Cpntools, version 1.4.0, http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"15_CR2","unstructured":"Bernat, G., Colin, A., Petters, S.M.: Pwcet, a tool for probabilistic wcet analysis of real-time systems. In: WCET, pp. 21\u201338 (2003)"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"886","DOI":"10.1109\/DAC.2002.1012747","volume-title":"Proceedings of the 39th conference on Design automation","author":"A. Bona","year":"2002","unstructured":"Bona, A., Sami, M., Sciuto, D., Zaccaria, V., Silvano, C., Zafalon, R.: Energy estimation and optimization of embedded vliw processors based on instruction clustering. In: Proceedings of the 39th conference on Design automation, pp. 886\u2013891. ACM Press, New York (2002)"},{"key":"15_CR4","first-page":"1128","volume-title":"Proceedings of the conference on Design, automation and test in Europe","author":"A. Bona","year":"2002","unstructured":"Bona, A., Sami, M., Sciuto, D., Zaccaria, V., Silvano, C., Zafalon, R.: An instruction-level methodology for power estimation and optimization of embedded vliw cores. In: Proceedings of the conference on Design, automation and test in Europe, p. 1128. IEEE Computer Society, Los Alamitos (2002)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/92.219908","volume":"1","author":"R. Burch","year":"1993","unstructured":"Burch, R., Najm, F., Yang, T.T.P.: A monte carlo approach for power estimation. IEEE transactions on vlsi systems\u00a01, 63\u201371 (1993)","journal-title":"IEEE transactions on vlsi systems"},{"key":"15_CR6","unstructured":"Burns, F., Koelmans, A., Yakovlev, A.: Wcet analysis of superscalar processor using simulation with coloured petri nets. International Journal of Time-Critical Computing Systems"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured petri nets. basic concepts, analysis methods and practical use. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01(2) (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"J\u03c6rgensen, J., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool support for estimating the memory usage of mobile phone software. International Journal on Software Tools for Technology Transfer (STTT) (2006)","DOI":"10.1007\/s10009-006-0012-z"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Leveraging Applications of Formal Methods","author":"A. Arcoverde Jr.","year":"2006","unstructured":"Arcoverde Jr., A., Alves Jr., G., Lima, R., Maciel, P., Oliveira Jr., M., Barreto, R.: Ezpetri: A petri net interchange framework for eclipse based on pnml. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313. Springer, Heidelberg (2006)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-540-30205-6_38","volume-title":"Integrated Circuit and System Design","author":"M.N.O. Junior","year":"2004","unstructured":"Junior, M.N.O., Maciel, P., Barreto, R., Carvalho, F.: Towards a software power cost analysis framework using colored petri net. In: Macii, E., Paliouras, V., Koufopavlou, O. (eds.) PATMOS 2004. LNCS, vol.\u00a03254, pp. 362\u2013371. Springer, Heidelberg (2004)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11556930_6","volume-title":"Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation","author":"M.N.O. J\u00fanior","year":"2005","unstructured":"J\u00fanior, M.N.O., Maciel, P.R.M., Lima, R.M.F., Ribeiro, A., Oliveira, C., Arcoverde, A., Barreto, R.S., Tavares, E., Amorin, L.: A retargetable environment for power-aware code evaluation: An approach based on coloured petri net. In: Paliouras, V., Vounckx, J., Verkest, D. (eds.) PATMOS 2005. LNCS, vol.\u00a03728, pp. 49\u201358. Springer, Heidelberg (2005)"},{"key":"15_CR12","unstructured":"Klass, B., Thomas, D., Schmit, H., Nagle, D.: Modeling inter-instruction energy effects in a digital signal processor. In: Power-Driven Microarchitecture Workshop In conjunstion with ISCA 1998 (1998)"},{"issue":"2","key":"15_CR13","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L. Kristensen","year":"1998","unstructured":"Kristensen, L., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured petri nets. International Journal on Software Tools for Technology Transfer: Special section on coloured Petri nets\u00a02(2), 98\u2013132 (1998)","journal-title":"International Journal on Software Tools for Technology Transfer: Special section on coloured Petri nets"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Laopoulos, T., Neofotistos, P., Kosmatopoulos, C., Nikolaidis, S.: Current variations measurements for the estimation of software-related power consumption. In: IEEE Instrumentation and Measurement Technology Conference (May 2002)","DOI":"10.1109\/IMTC.2002.1007205"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1109\/DATE.2001.915081","volume-title":"DATE 2001. Proceedings of the conference on Design, automation and test in Europe","author":"R. Marculescu","year":"2001","unstructured":"Marculescu, R., Nandi, A.: Probabilistic application modeling for system-level perfromance analysis. In: DATE 2001. Proceedings of the conference on Design, automation and test in Europe, Piscataway, NJ, USA, pp. 572\u2013579. IEEE Press, Los Alamitos (2001)"},{"key":"15_CR16","first-page":"455","volume-title":"Proc. of the 39th conf. on Design automation","author":"A.K. Murugavel","year":"2002","unstructured":"Murugavel, A.K., Ranganathan, N.: Petri net modeling of gate and interconnect delays for power estimation. In: Proc. of the 39th conf. on Design automation, pp. 455\u2013460. ACM Press, New York (2002)"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1109\/92.335013","volume":"2","author":"F.N. Najm","year":"1994","unstructured":"Najm, F.N.: A survey of power estimation techniques in vlsi circuits. IEEE Trans. Very Large Scale Integr. Syst.\u00a02(4), 446\u2013455 (1994)","journal-title":"IEEE Trans. Very Large Scale Integr. Syst."},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-540-39762-5_34","volume-title":"Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation","author":"S. Nikolaidis","year":"2003","unstructured":"Nikolaidis, S., Kavvadias, N., Laopoulos, T., Bisdounis, L., Blionas, S.: Instruction level energy modeling for pipelined processors. In: Chico, J.J., Macii, E. (eds.) PATMOS 2003. LNCS, vol.\u00a02799, pp. 279\u2013288. Springer, Heidelberg (2003)"},{"issue":"4","key":"15_CR19","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/92.335012","volume":"2","author":"V. Tiwari","year":"1994","unstructured":"Tiwari, V., Malik, S., Wolfe, A.: Power analysis of embedded software: A first step towards software power minimization. IEEE Transactions on Very Large Scale Integration Systems\u00a02(4), 437\u2013445 (1994)","journal-title":"IEEE Transactions on Very Large Scale Integration Systems"},{"key":"15_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6065-4","volume-title":"Practical Low Power Digital VLSI Design","author":"G. Yeap","year":"1998","unstructured":"Yeap, G.: Practical Low Power Digital VLSI Design. Kluwer Academic Publishers, Dordrecht (1998)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T15:17:49Z","timestamp":1627485469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11767589_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}