{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:22Z","timestamp":1747807942981},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246494"},{"type":"electronic","value":"9783642246500"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24650-0_33","type":"book-chapter","created":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T10:08:55Z","timestamp":1319278135000},"page":"385-394","source":"Crossref","is-referenced-by-count":27,"title":["\u03a3C: A Programming Model and Language for Embedded Manycores"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Goubier","sequence":"first","affiliation":[]},{"given":"Renaud","family":"Sirdey","sequence":"additional","affiliation":[]},{"given":"St\u00e9phane","family":"Louise","sequence":"additional","affiliation":[]},{"given":"Vincent","family":"David","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1049\/ip-cdt:20045098","volume":"152","author":"A. Jantsch","year":"2005","unstructured":"Jantsch, A., Sander, I.: Models of computation and languages for embedded system design. IEE Proc.-Comput. Digit. Tech.\u00a0152(2), 114\u2013129 (2005)","journal-title":"IEE Proc.-Comput. Digit. Tech."},{"key":"33_CR2","unstructured":"Kahn, G.: The Semantics of Simple Language for Parallel Programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"issue":"9","key":"33_CR3","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E. Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous Data Flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"33_CR4","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G. Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cycle-Static Dataflow. IEEE Trans. on Signal Processing\u00a044(2), 397\u2013408 (1996)","journal-title":"IEEE Trans. on Signal Processing"},{"issue":"6","key":"33_CR5","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/43.766725","volume":"18","author":"A. Girault","year":"1999","unstructured":"Girault, A., Lee, B., Lee, E.A.: Hierarchical Finite State Machines with Multiple Concurrency Models. IEEE Trans. on Computer-aided Design of IC & S\u00a018(6), 742\u2013760 (1999)","journal-title":"IEEE Trans. on Computer-aided Design of IC & S"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Gao, G.R., Govindarajan, R., Panangaden, P.: Well-behaved dataflow programs for DSP computation. In: IEEE ICASSP 1992, pp. 561\u2013564 (March 1992)","DOI":"10.1109\/ICASSP.1992.226558"},{"key":"33_CR7","unstructured":"Reutenauer, C.: Aspects Math\u00e9matiques des R\u00e9seaux de Petri, Dunod (1997)"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.: StreamIt: A Language for Streaming Applications. In: Proceedings of CC 2002, Grenoble, France, pp. 179\u2013196 (2002)","DOI":"10.1007\/3-540-45937-5_14"},{"key":"33_CR9","unstructured":"Buck, I.: Brook Specification v0.2. (2003), \n                    \n                      http:\/\/merrimac.stanford.edu\/brook"},{"key":"33_CR10","unstructured":"Watt, D.: Programming XC on XMOS Devices. XMOS (2009)"},{"key":"33_CR11","unstructured":"Khronos OpenCL Working Group: The OpenCL Specification v1.1 (2011)"},{"issue":"10","key":"33_CR12","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K. Lau","year":"2007","unstructured":"Lau, K., Wang, Z.: Software Component Models. IEEE Trans. on Software Engineering\u00a033(10), 709\u2013724 (2007)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"33_CR13","unstructured":"Sirdey, R., Aubry, P.: A Linear Programming Approach to General Dataflow Process Network Verification and Dimensionning. Electr. Proceedings in Theorical Computer Science (to appear)"},{"key":"33_CR14","unstructured":"Sirdey, R., David, V.: Syst\u00e8me d\u2019ordonnancement de l\u2019ex\u00e9cution de taches cadenc\u00e9 par un temps logique vectoriel. Patent pending, filling no 1003963 (2010)"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"De Oliveira Castro, P., Louise, S., Barthou, D.: A Multidimensional Array Slicing DSL for Stream Programming. In: Proceedings of CISIS 2010, pp. 913\u2013918 (2010)","DOI":"10.1109\/CISIS.2010.135"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Irigoin, F., Jouvelot, P., Triolet, R.: Semantical Interprocedural Parallelization: An Overview of the PIPS Project. In: Proceedings of ICS 1991, pp. 244\u2013251 (1991)","DOI":"10.1145\/109025.109086"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24650-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T16:49:34Z","timestamp":1555174174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24650-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246494","9783642246500"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24650-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}