{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:51Z","timestamp":1725538191075},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042836"},{"type":"electronic","value":"9783642042843"}],"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-642-04284-3_6","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T13:55:48Z","timestamp":1252936548000},"page":"57-65","source":"Crossref","is-referenced-by-count":1,"title":["ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs"],"prefix":"10.1007","author":[{"given":"Weiwei","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"D\u00f6mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"DeMarco, T.: Structured analysis and system specification, pp. 409\u2013424 (1979)","key":"6_CR1","DOI":"10.1007\/978-3-642-48354-7_9"},{"issue":"3","key":"6_CR2","first-page":"1","volume":"2008","author":"R. Doemer","year":"2008","unstructured":"Doemer, R., Gerstlauer, A., Peng, J., Shin, D., Cai, L., Yu, H., Abdi, S., Gajski, D.D.: System-on-chip Environment: A SpecC-based Framework for Heterogeneous MPSoC Design. EURASIP J. Embedded Syst.\u00a02008(3), 1\u201313 (2008)","journal-title":"EURASIP J. Embedded Syst."},{"unstructured":"Embedded System Environment, http:\/\/www.cecs.uci.edu\/~ese\/","key":"6_CR3"},{"key":"6_CR4","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 Cliffs (1994)"},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Design Methodology","author":"D.D. Gajski","year":"2000","unstructured":"Gajski, D.D., Zhu, J., Doemer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Design Methodology. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"6_CR6","volume-title":"System Design with SystemC","author":"T. Groetker","year":"2002","unstructured":"Groetker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)"},{"unstructured":"International Semiconductor Industry Association. International Technology Roadmap for Semiconductors, ITRS (2007), http:\/\/www.itrs.net","key":"6_CR7"},{"unstructured":"Joint Video Team of ITU-T and ISO\/IEC JTC 1. Draft ITU-T Recommendation and Final Draft International Standard of Joint Video Specification (ITU-T Rec. H.264 | ISO\/IEC 14496-10 AVC). Document JVT-G050r1 (2003)","key":"6_CR8"},{"unstructured":"Kahn, G.: The Semantics of a Simple Language for Parallel Programming. Information Processing, 471\u2013475 (1974)","key":"6_CR9"},{"doi-asserted-by":"crossref","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Intergrated Circuits and Systems (TCAD)\u00a017(12) (December 1998)","key":"6_CR10","DOI":"10.1109\/43.736561"},{"unstructured":"Parks, T.M.: Bounded Scheduling of Process Networks. PhD thesis, Electrical Engineering and Computer Science, University of California, Berkeley (December 1995)","key":"6_CR11"},{"issue":"7","key":"6_CR12","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TCSVT.2003.815165","volume":"13","author":"T. Wiegand","year":"2003","unstructured":"Wiegand, T., Sullivan, G.J., Bjontegaard, G., Luthra, A.: Overview of the H.264\/AVC video coding standard. IEEE Transactions on Circuits and Systems for Video Technology\u00a013(7), 560\u2013576 (2003)","journal-title":"IEEE Transactions on Circuits and Systems for Video Technology"}],"container-title":["IFIP Advances in Information and Communication Technology","Analysis, Architectures and Modelling of Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04284-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T11:19:56Z","timestamp":1558523996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04284-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042836","9783642042843"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04284-3_6","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}