{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:55:18Z","timestamp":1743101718791,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540959472"},{"type":"electronic","value":"9783540959489"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-95948-9_38","type":"book-chapter","created":{"date-parts":[[2009,1,31]],"date-time":"2009-01-31T10:58:14Z","timestamp":1233399494000},"page":"379-388","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Callou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ermeson","family":"Carneiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Nogueira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Tavares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Meuse","family":"Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"CPN Tools version 2.2.0, \n                    \n                      http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"38_CR2","unstructured":"Keil UVision IDE Version 3.33, \n                    \n                      http:\/\/www.keil.com"},{"key":"38_CR3","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. Junior","year":"2005","unstructured":"Junior, M.N.O., Maciel, P.R.M., Lima, R., 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":"38_CR4","unstructured":"Nikolaidis, S., Kavvadias, N., Laopoulos, T., Neofotistos, P.: Instruction level power models for embedded processors, AUTH (ed.), 48 pages (2002)"},{"issue":"4","key":"38_CR5","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 (VLSI) Systems\u00a02(4), 437\u2013445 (1994)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"38_CR6","first-page":"311","volume-title":"PATMOS 2001","author":"J. Laurent","year":"2001","unstructured":"Laurent, J., Senn, E., Julien, N., Martin, E.: High Level Energy Estimation for DSP Systems. In: PATMOS 2001, pp. 311\u2013316. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0035389","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: A brief introduction to coloured petri nets. Tools and Algorithms for the Construction and Analysis of Systems. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 203\u2013208. Springer, Heidelberg (1997)"},{"key":"38_CR8","unstructured":"Tavares, E.: AMALGHMA Tool, \n                    \n                      http:\/\/www.cin.ufpe.br\/~eagt\/tools\/"},{"key":"38_CR9","unstructured":"Ribeiro, A.: Estimativa de Consumo de Energia de C\u00f3digo ANSI-C para Sistemas Embarcados: Uma Abordagem Baseada em Simula\u00e7\u00e3o Estoc\u00e1stica (in portuguese). MSc Thesis, Centro de Inform\u00e1tica. Universidade Federal de Pernambuco (2007)"},{"key":"38_CR10","unstructured":"Nikolaidis, S., Kavvadias, N., Neofotistos, P.: Instruction-Leve Power Measurement Methodology. Technical report, Eletronics Lav., Physics Dept., Aristotle University of Thessaloniki, Greece (2002)"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-540-30205-6_36","volume-title":"Integrated Circuit and System Design","author":"E. Senn","year":"2004","unstructured":"Senn, E., Laurent, J., Julien, N., Martin, \u00c9.: SoftExplorer: Estimation, characterization, and optimization of the power and energy consumption at the algorithmic level. In: Macii, E., Paliouras, V., Koufopavlou, O. (eds.) PATMOS 2004. LNCS, vol.\u00a03254, pp. 342\u2013351. Springer, Heidelberg (2004)"},{"issue":"4","key":"38_CR12","first-page":"541","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. A Decade of Concurrency. IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"A Decade of Concurrency, IEEE"},{"key":"38_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-53863-1_30","volume-title":"Advances in Petri Nets 1990","author":"P. Huber","year":"1991","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 313\u2013341. Springer, Heidelberg (1991)"},{"key":"38_CR14","first-page":"794","volume-title":"Simulation Modeling and Analysis","author":"A. Law","year":"1999","unstructured":"Law, A., Kelton, W.: Simulation Modeling and Analysis, p. 794. McGraw-Hill Book Company, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95948-9_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,30]],"date-time":"2020-01-30T05:35:58Z","timestamp":1580362558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95948-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540959472","9783540959489"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95948-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}