{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:28Z","timestamp":1725557488414},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135675"},{"type":"electronic","value":"9783642135682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13568-2_9","type":"book-chapter","created":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T08:37:14Z","timestamp":1276677434000},"page":"117-129","source":"Crossref","is-referenced-by-count":0,"title":["Rewriting Logic Based Performance Estimation of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Fateh","family":"Boutekkouk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Hardware-Software Co-Design of Embedded Systems, the POLIS Approach","author":"F. Balarin","year":"2003","unstructured":"Balarin, F.: Hardware-Software Co-Design of Embedded Systems, the POLIS Approach, 5th edn. Kluwer Academic Publishers, Dordrecht (2003)","edition":"5"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chatelain, A., Placido, G., La Rosa, A., Mathys, Y., Lavagno, L.: High-level architectural co-simulation using Esterel and C. In: Proceedings of IEEE\/ACM symposium on Hardware\/software co-design (April 2001)","DOI":"10.1145\/371636.371719"},{"key":"9_CR3","unstructured":"Clavel, M.: Maude: Specifcation and programming in rewriting logic. Internal report, SRI International (1999)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Fornaciari, W., Gubian, P., Sciuto, D., Silvano, C.: Power Estimation of Embedded Systems: a Hardware\/Software Codesign approach. IEEE transactions on VLSI Systems\u00a06(2) (June 1998)","DOI":"10.1109\/92.678887"},{"key":"9_CR5","volume-title":"Specification and Design of Embedded Systems","author":"D.D. Gajski","year":"1994","unstructured":"Gajski, D.D., vahid, F., Narayan, S., Gong, J.: Specification and Design of Embedded Systems. Prentice Hall, Englewood (1994)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges","author":"B. Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, F., Wolf, P.V., Vissers, K.: A Methodology to design Programmable Embedded Systems. The Y-chart approach. In: Deprettere, F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol.\u00a02268, pp. 18\u201337. Springer, Heidelberg (2002)"},{"key":"9_CR7","unstructured":"McCombs, T.: Maude 2.0 Primer, Version 1.0. International report. SRI International (2003)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/BFb0039072","volume-title":"CONCUR \u201990","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J.: Rewriting as a unified model of concurrency. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 384\u2013400. Springer, Heidelberg (1990)"},{"key":"9_CR9","unstructured":"Yovine, S., Assayad, I.: A framework for modeling and performance analysis of multiprocessor embedded systems: Models and benefits. In: NOT\u00c9RE Conference (2007)"},{"key":"9_CR10","unstructured":"Stuijk, S.: Predictable Mapping of Streaming Applications on Multiprocessors. PhD thesis. Ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, October 25 (2007)"},{"key":"9_CR11","unstructured":"Watanabe, Y.: Metropolis: An integrated environment for electronic system design. Cadence Berkeley labs (2001)"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13568-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:40:16Z","timestamp":1606167616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13568-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135675","9783642135682"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13568-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}