{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:46:51Z","timestamp":1742935611281,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":45,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401772662"},{"type":"electronic","value":"9789401772679"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-94-017-7267-9_4","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T09:54:06Z","timestamp":1506419646000},"page":"59-97","source":"Crossref","is-referenced-by-count":0,"title":["SysteMoC: A Data-Flow Programming Language for Codesign"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Falk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Zebelein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"issue":"10","key":"4_CR1","doi-asserted-by":"publisher","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B Bhattacharya","year":"2001","unstructured":"Bhattacharya B, Bhattacharyya SS (2001) Parameterized dataflow modeling for DSP systems. IEEE Trans Signal Process 49(10):2408\u20132421. doi:\n            10.1109\/78.950795","journal-title":"IEEE Trans Signal Process"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008806425898","volume":"2","author":"SS Bhattacharyya","year":"1997","unstructured":"Bhattacharyya SS, Murthy PK, Lee EA (1997) APGAN and RPMC: complementary heuristics for translating DSP block diagrams into efficient software implementations. J Des Autom Embed Syst 2:33","journal-title":"J Des Autom Embed Syst"},{"issue":"2","key":"4_CR3","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G Bilsen","year":"1996","unstructured":"Bilsen G, Engels M, Lauwereins R, Peperstraete J (1996) Cyclo-static dataflow. IEEE Trans Signal Process 44(2):397\u2013408","journal-title":"IEEE Trans Signal Process"},{"issue":"1","key":"4_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle T, Teich J, Thiele L (1998) System-level synthesis using evolutionary algorithms. Des Autom Embed Syst 3(1):23\u201358","journal-title":"Des Autom Embed Syst"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Buck JT (1993) Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph.D dissertation, Department of EECS, University of California, Berkeley. Technical Report UCB\/ERL 93\/69","DOI":"10.1109\/ICASSP.1993.319147"},{"issue":"5","key":"4_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F Commoner","year":"1971","unstructured":"Commoner F, Holt AW, Even S, Pnueli A (1971) Marked directed graphs. J Comput Syst Sci 5(5):511\u2013523. doi:\n            10.1016\/S0022-0000(71)80013-2","journal-title":"J Comput Syst Sci"},{"key":"4_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume-title":"Programming symposium","author":"J Dennis","year":"1974","unstructured":"Dennis J (1974) First version of a data flow procedure language. In: Robinet B (ed) Programming symposium. Lecture notes in computer science, vol\u00a019. Springer, Berlin\/Heidelberg, pp\u00a0362\u2013376. doi:\n            10.1007\/3-540-06859-7_145"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker J, Janneck JW, Lee EA, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity \u2013 the ptolemy approach. Proc IEEE 91(1):127\u2013144. doi:\n            10.1109\/JPROC.2002.805829","journal-title":"Proc IEEE"},{"key":"4_CR9","unstructured":"Falk J (2015) A clustering-based MPSoC design flow for data flow-oriented applications. Dr. Hut, Sternstr. 18, M\u00fcnchen. Dissertation Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg"},{"key":"4_CR10","unstructured":"Falk J, Haubelt C, Teich J (2005) Syntax and execution behavior of SysteMoC. Technical report. 04-2005, University of Erlangen-Nuremberg, Department of CS 12, Hardware-Software-Co-Design, Am Weichselgarten 3, D-91058 Erlangen"},{"key":"4_CR11","unstructured":"Falk J, Haubelt C, Teich J (2006) Efficient representation and simulation of model-based designs in systemC. In: Proceedings of the forum on specification and design languages (FDL 2006), pp\u00a0129\u2013134"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1007\/978-1-4614-6859-2_30","volume-title":"Handbook of signal processing systems","author":"J Falk","year":"2013","unstructured":"Falk J, Haubelt C, Zebelein C, Teich J (2013) Integrated modeling using finite state machines and dataflow graphs. In: Bhattacharyya SS, Deprettere EF, Leupers R, Takala J (eds) Handbook of signal processing systems. Springer, Berlin\/Heidelberg, pp\u00a0975\u20131013"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1450058.1450084","volume-title":"Proceedings of the 8th ACM international conference on embedded software (EMSOFT 2008)","author":"J Falk","year":"2008","unstructured":"Falk J, Keinert J, Haubelt C, Teich J, Bhattacharyya SS (2008) A generalized static data flow clustering algorithm for MPSoC scheduling of multimedia applications. In: Proceedings of the 8th ACM international conference on embedded software (EMSOFT 2008). ACM, New York, pp\u00a0189\u2013198. doi:\n            10.1145\/1450058.1450084"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Falk J, Schwarzer T, Gla\u00df M, Teich J, Zebelein C, Haubelt C (2015) Quasi-static scheduling of data flow graphs in the presence of limited channel capacities. In: Proceedings of the 13th IEEE symposium on embedded systems for real-time multimedia (ESTIMEDIA 2015) p\u00a010","DOI":"10.1109\/ESTIMedia.2015.7351766"},{"issue":"8","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1016\/j.micpro.2015.08.008","volume":"39","author":"J Falk","year":"2015","unstructured":"Falk J, Schwarzer T, Zhang L, Gla\u00df M, Teich J (2015) Automatic communication-driven virtual prototyping and design for networked embedded systems. Microprocess Microsyst 39(8):1012\u20131028. doi:\n            10.1016\/j.micpro.2015.08.008","journal-title":"Microprocess Microsyst"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Falk J, Zebelein C, Haubelt C, Teich J (2011) A rule-based static dataflow clustering algorithm for efficient embedded software synthesis. In: Proceedings of the design, automation and test in Europe (DATE 2011). IEEE, pp\u00a0521\u2013526","DOI":"10.1109\/DATE.2011.5763094"},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Falk J, Zebelein C, Haubelt C, Teich J (2013) A rule-based quasi-static scheduling approach for static Islands in dynamic dataflow graphs. ACM Trans Embed Comput Syst 12(3):74:1\u201374:31. doi:\n            10.1145\/2442116.2442124","DOI":"10.1145\/2442116.2442124"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Falk J, Zebelein C, Keinert J, Haubelt C, Teich J, Bhattacharyya, SS (2011) Analysis of systemC actor networks for efficient synthesis. ACM Trans embed Comput Syst 10(2):18:1\u201318:34. doi:\n            10.1145\/1880050.1880054","DOI":"10.1145\/1880050.1880054"},{"issue":"6","key":"4_CR19","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/43.766725","volume":"18","author":"A Girault","year":"1999","unstructured":"Girault A, Lee B, Lee E (1999) Hierarchical finite state machines with multiple concurrency models. IEEE Trans Comput Aided Des Integr Circuits Syst 18(6):742\u2013760","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"4_CR20","volume-title":"Liveness of marked graphs and communication and VLSI systems represented by them","author":"MG Gouda","year":"1980","unstructured":"Gouda MG (1980) Liveness of marked graphs and communication and VLSI systems represented by them. Technical report, Austin"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11265-009-0445-1","volume":"63","author":"R Gu","year":"2011","unstructured":"Gu R, Janneck JW, Raulet M, Bhattacharyya SS (2011) Exploiting statically schedulable regions in dataflow programs. Signal Processing Syst 63(1):129\u2013142. doi:\n            10.1007\/s11265-009-0445-1","journal-title":"Signal Processing Syst"},{"key":"4_CR22","unstructured":"Hsu CJ, Bhattacharyya SS (2007) Cycle-breaking techniques for scheduling synchronous dataflow graphs. Technical report. UMIACS-TR-2007-12, Institute for Advanced Computer Studies, University of Maryland at College Park"},{"key":"4_CR23","unstructured":"Hylands C, Lee E, Liu J, Liu X, Neuendorffer S, Xiong Y, Zhao Y, Zheng H (2004) Overview of the ptolemy project, technical memorandum no. UCB\/ERL M03\/25. Technical report, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley"},{"key":"4_CR24","first-page":"471","volume-title":"The semantics of a simple language for parallel programming","author":"G Kahn","year":"1974","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: IFIP Congress, pp\u00a0471\u2013475"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Keinert J, Streub\u00fchr M, Schlichter T, Falk J, Gladigau J, Haubelt C, Teich J, Meredith M (2009) SystemCoDesigner \u2013 an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. Trans Des Autom Electron Syst 14(1):1:1\u20131:23","DOI":"10.1145\/1455229.1455230"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/512760.512783","volume-title":"Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on principles of programming languages (POPL 1978)","author":"PR Kosinski","year":"1978","unstructured":"Kosinski PR (1978) A straightforward denotational semantics for non-determinate data flow programs. In: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on principles of programming languages (POPL 1978). ACM, New York, pp\u00a0214\u2013221. doi:\n            10.1145\/512760.512783"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Lee EA (2006) The problem with threads. Technical report. UCB\/EECS-2006-1, EECS Department, University of California, Berkeley. The published version of this paper is in IEEE Computer 39(5):33\u201342, May 2006","DOI":"10.1109\/MC.2006.180"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans Comput 36(1):24\u201335. doi:\n            10.1109\/TC.1987.5009446","journal-title":"IEEE Trans Comput"},{"issue":"9","key":"4_CR29","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Synchronous data flow. Proc IEEE 75(9):1235\u20131245","journal-title":"Proc IEEE"},{"issue":"12","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee EA, Sangiovanni-Vincentelli AL (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12):1217\u20131229. doi:\n            10.1109\/43.736561","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"4_CR31","unstructured":"Parks TM (1995) Bounded scheduling of process networks. Ph.D dissertation, Department of EECS, University of California, Berkeley. \n            http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/1995\/2926.html\n            \n          . Technical Report UCB\/ERL M95\/105"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Pino JL, Bhattacharyya SS, Lee E (1995) A hierarchical multiprocessor scheduling system for DSP applications. In: Proceedings of the Asilomar conference on signals, systems, and computers, vol\u00a01, pp\u00a0122\u2013126. doi:\n            10.1109\/ACSSC.1995.540525","DOI":"10.1109\/ACSSC.1995.540525"},{"key":"4_CR33","doi-asserted-by":"publisher","unstructured":"Plishker W, Sane N, Kiemb M, Anand K, Bhattacharyya SS (2008) Functional DIF for rapid prototyping. In: The 19th IEEE\/IFIP international symposium on rapid system prototyping (RSP 2008), pp\u00a017\u201323. doi:\n            10.1109\/RSP.2008.32","DOI":"10.1109\/RSP.2008.32"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-70550-5_18","volume-title":"Proceedings of the 8th international workshop on embedded computer systems: architectures, modeling, and simulation (SAMOS 2008)","author":"W Plishker","year":"2008","unstructured":"Plishker W, Sane N, Kiemb M, Bhattacharyya SS (2008) Heterogeneous design in functional DIF. In: Proceedings of the 8th international workshop on embedded computer systems: architectures, modeling, and simulation (SAMOS 2008). Springer, Berlin\/Heidelberg, pp\u00a0157\u2013166. doi:\n            10.1007\/978-3-540-70550-5_18"},{"key":"4_CR35","unstructured":"Ptolemaeus C (ed) (2014) System design, modeling, and simulation using Ptolemy II. Ptolemy.org, Berkeley. \n            http:\/\/ptolemy.org\/systems"},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Rosales R, Gla\u00df M, Teich J, Wang B, Xu Y, Hasholzner R (2014) Maestro \u2013 holistic actor-oriented modeling of nonfunctional properties and firmware behavior for mpsocs. ACM Trans Des Autom Electron Syst (TODAES) 19(3):23:1\u201323:26. doi:\n            10.1145\/2594481","DOI":"10.1145\/2594481"},{"key":"4_CR37","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/2764967.2764972","volume-title":"Proceedings of the 18th international workshop on software and compilers for embedded systems (SCOPES 2015)","author":"T Schwarzer","year":"2015","unstructured":"Schwarzer T, Falk J, Gla\u00df M, Teich J, Zebelein C, Haubelt C (2015) Throughput-optimizing compilation of dataflow applications for multi-cores using quasi-static scheduling. In: Stuijk S (ed) Proceedings of the 18th international workshop on software and compilers for embedded systems (SCOPES 2015). ACM, Berlin, pp\u00a068\u201375"},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/1131610","volume-title":"Proceedings of design, automation and test in Europe (DATE 2006)","author":"M Streub\u00fchr","year":"2006","unstructured":"Streub\u00fchr M, Falk J, Haubelt C, Teich J, Dorsch R, Schlipf T (2006) Task-accurate performance modeling in systemC for real-time multi-processor architectures. In: Gielen GGE (ed) Proceedings of design, automation and test in Europe (DATE 2006). European Design and Automation Association, Leuven, pp\u00a0480\u2013481. doi:\n            10.1145\/1131610"},{"key":"4_CR39","series-title":"Lecture notes in electrical engineering","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-90-481-9304-2_4","volume-title":"Advances in design methods from modeling languages for embedded systems and SoC\u2019s","author":"M Streub\u00fchr","year":"2010","unstructured":"Streub\u00fchr M, Gladigau J, Haubelt C, Teich J (2010) Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. In: Borrione D (ed) Advances in design methods from modeling languages for embedded systems and SoC\u2019s. Lecture notes in electrical engineering, vol\u00a063. Springer, Berlin\/Heidelberg, pp\u00a059\u201372. doi:\n            10.1007\/978-90-481-9304-2_4"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Stuijk S, Geilen M, Theelen BD, Basten T (2011) Scenario-aware dataflow: modeling, analysis and implementation of dynamic applications. In: Proceedings of the international conference on embedded computer systems: architectures, modeling, and simulation (ICSAMOS 2011). IEEE Computer Society, pp\u00a0404\u2013411. doi:\n            10.1109\/SAMOS.2011.6045491","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"4_CR41","first-page":"558","volume-title":"White JK","author":"L Thiele","year":"1999","unstructured":"Thiele L, Strehl K, Ziegenbein D, Ernst R, Teich J (1999) FunState \u2013 an internal design representation for codesign. In: White JK, Sentovich E (eds) ICCAD. IEEE, pp\u00a0558\u2013565"},{"key":"4_CR42","unstructured":"Thiele L, Teich J, Naedele M, Strehl K, Ziegenbein D (1998) SCF \u2013 state machine controlled flow diagrams. Technical report, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH), Zurich, Gloriastrasse 35, CH-8092. Technical Report TIK-33"},{"key":"4_CR43","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-28293-5_4","volume-title":"Proceedings of the architecture of computing systems (ARCS 2012)","author":"Y Xu","year":"2012","unstructured":"Xu Y, Rosales R, Wang B, Streub\u00fchr M, Hasholzner R, Haubelt C, Teich J (2012) A very fast and quasi-accurate power-state-based system-level power modeling methodology. In: Herkersdorf A, R\u00f6mer K, Brinkschulte U (eds) Proceedings of the architecture of computing systems (ARCS 2012), vol 7179. Springer, Berlin\/Heidelberg, pp\u00a037\u201349. doi:\n            10.1007\/978-3-642-28293-5_4"},{"key":"4_CR44","unstructured":"Zebelein C (2014) A model-based approach for the specification and refinement of streaming applications. Ph.D. thesis, University of Rostock"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Zebelein C, Falk J, Haubelt C, Teich J (2008) Classification of general data flow actors into known models of computation. In: Proceedings 6th ACM\/IEEE international conference on formal methods and models for codesign (MEMOCODE 2008), pp\u00a0119\u2013128","DOI":"10.1109\/MEMCOD.2008.4547699"}],"container-title":["Handbook of Hardware\/Software Codesign"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-7267-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T07:52:36Z","timestamp":1506498756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-7267-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789401772662","9789401772679"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-7267-9_4","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}