{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:08:31Z","timestamp":1725566911027},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290131"},{"type":"electronic","value":"9783540320807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11556930_6","type":"book-chapter","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T01:18:41Z","timestamp":1285723121000},"page":"49-58","source":"Crossref","is-referenced-by-count":3,"title":["A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net"],"prefix":"10.1007","author":[{"given":"Meuse N. O.","family":"Junior","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Ribeiro","sequence":"additional","affiliation":[]},{"given":"Cesar","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Adilson","family":"Arcoverde","sequence":"additional","affiliation":[]},{"given":"Raimundo","family":"Barreto","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Tavares","sequence":"additional","affiliation":[]},{"given":"Leornado","family":"Amorin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Cpntools, version 1.22, http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"6_CR2","unstructured":"Lisatek, http:\/\/www.coware.com\/products\/lisatek_description.php"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1023\/B:IJPP.0000004510.66751.2e","volume":"31","author":"J. Ayala","year":"2003","unstructured":"Ayala, J., Veidenbaum, A., L\u00f3pez-Vallejo, M.: Power-aware compilation for register file energy reduction. International Journal of Parallel Programming\u00a031(6), 451\u2013467 (2003)","journal-title":"International Journal of Parallel Programming"},{"key":"6_CR4","unstructured":"Burns, F., Koelmans, A., Yakovlev, A.: Modelling of superscala processor architectures with design\/CPN. In: Jensen, K. (ed.) Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design\/CPN, Aarhus, Denmark, June 10-12, pp. 15\u201330. Aarhus University (1998)"},{"key":"6_CR5","unstructured":"Gallasch, G., Kristensen, L.M.: Comms\/CPN: A communication infrastructure for external communication with design\/CPN. In: Jensen, K. (ed.) 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN\u201901), August 2001. DAIMI PB-554, pp. 75\u201390. Aarhus University (2001), InternalNote: Submitted by: hr"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Halambi, A., Grun, P.: Expression: A language for architecture exploration through compiler\/ simulator retargetability. In: Proc. of the European Conf. on Design, Automation and Test, DATE (1999)","DOI":"10.1145\/307418.307549"},{"key":"6_CR7","unstructured":"Jr., G.A., Lima Jr., R., Maciel, P., Jr., M.O., Barreto, R.: Ezpetri: A petri net interchange framework for eclipse based on pnml. In: First Int. Symp. on Leveraging Applications of Formal Method, ISoLA 2004 (2004)"},{"key":"6_CR8","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)"},{"issue":"2","key":"6_CR9","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":"6_CR10","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":"6_CR11","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/775832.776025","volume-title":"DAC 2003: Proceedings of the 40th conference on Design automation","author":"W.S. Mong","year":"2003","unstructured":"Mong, W.S., Zhu, J.: A retargetable micro-architecture simulator. In: DAC 2003: Proceedings of the 40th conference on Design automation, pp. 752\u2013757. ACM Press, New York (2003)"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"6_CR13","first-page":"455","volume-title":"Proc. of the 39th conf. on Design automation","author":"K. Murugavel","year":"2002","unstructured":"Murugavel, 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":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MDT.2002.1047742","volume":"19","author":"G. Stitt","year":"2002","unstructured":"Stitt, G., Vahid, F.: Energy advantages of microprocessor platforms with on-chip configurable logic. IEEE Design and Test of Computers\u00a019(6), 36\u201343 (2002)","journal-title":"IEEE Design and Test of Computers"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Tiwari, V., Malik, S., Wolfe, A.: Compilation techniques for low energy: An overview. In: Proc. of Symp. Low-Power Electronics (1994)","DOI":"10.1109\/LPE.1994.573195"},{"issue":"4","key":"6_CR16","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":"6_CR17","first-page":"95","volume-title":"Proceedings of the 27th annual international symposium on Computer architecture","author":"N. Vijaykrishnan","year":"2000","unstructured":"Vijaykrishnan, N., Kandemir, M., Irwin, M.J., Kim, H.S., Ye, W.: Energy-driven integrated hardware-software optimizations using simplepower. In: Proceedings of the 27th annual international symposium on Computer architecture, pp. 95\u2013106. ACM Press, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556930_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:47:45Z","timestamp":1605642465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556930_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290131","9783540320807"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11556930_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}