{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:03:53Z","timestamp":1743120233700,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":38,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963444"},{"type":"electronic","value":"9781441963451"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6345-1_36","type":"book-chapter","created":{"date-parts":[[2010,9,9]],"date-time":"2010-09-09T15:21:10Z","timestamp":1284045670000},"page":"1041-1075","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Integrated Modeling using Finite State Machines and Dataflow Graphs"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Falk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Keinert","sequence":"additional","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":[[2010,7,16]]},"reference":[{"key":"36_CR1_36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-Software Co- Design of Embedded Systems: The POLIS Approach","author":"F Balarin","year":"1997","unstructured":"Balarin, F., Giusto, P., Jurecska, A., Passerone, C., Sentovich, E., Tabbara, B., Chiodo, M., Hsieh, H., Lavagno, L., Sangiovanni-Vincentelli, A., Suzuki, K.: Hardware-Software Co- Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers (1997)"},{"key":"36_CR2_36","series-title":"Universit\u00e9 des Sciences et Technologies de Lille","volume-title":"Un flot de conception pour applications de traitement du signal syst\u00e9matique impl\u00e9ment\u00e9es sur fpga \u00e0 base d\u2019ing\u00e9nierie dirig\u00e9e par les mod\u00e8les. Ph.D. thesis","author":"SL Beux","year":"2007","unstructured":"Beux, S.L.: Un flot de conception pour applications de traitement du signal syst\u00e9matique impl\u00e9ment\u00e9es sur fpga \u00e0 base d\u2019ing\u00e9nierie dirig\u00e9e par les mod\u00e8les. Ph.D. thesis, Universit\u00e9 des Sciences et Technologies de Lille (2007)"},{"key":"36_CR3_36","first-page":"27","author":"S Bhattacharyya","year":"2008","unstructured":"Bhattacharyya, S., Brebner, G., Eker, J., Mattavelli, M., Raulet, M.: OpenDF - A Dataflow Toolset for Reconfigurable Hardware and Multicore Systems (2008). First Swedish Workshop on Multi-Core Computing, MCC, Ronneby, Sweden, November 27\u201328, 2008","journal-title":"First Swedish Workshop on Multi-Core Computing"},{"issue":"3","key":"36_CR4_36","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/81.376876","volume":"42","author":"SS Bhattacharyya","year":"1995","unstructured":"Bhattacharyya, S.S., Buck, J.T., Ha, S., Lee, E.A.: Generating Compact Code from Dataflow Specifications of Multirate Signal Processing Algorithms. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications 42(3), 138\u2013150 (1995)","journal-title":"IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications"},{"issue":"2","key":"36_CR5_36","first-page":"155","volume":"4","author":"J Buck","year":"1994","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. International Journal in Computer Simulation 4(2), 155\u2013182 (1994)","journal-title":"International Journal in Computer Simulation"},{"key":"36_CR6_36","author":"JT Buck","year":"1993","unstructured":"Buck, J.T.: Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model. Tech. rep., Dept. of EECS, UC Berkeley, Berkeley, CA 94720, U.S.A. (1993). Technical Report UCB\/ERL 93\/69, Ph.D dissertation","journal-title":"Tech. rep., Dept. of EECS, UC Berkeley, Berkeley, CA 94720, U.S.A"},{"key":"36_CR7_36","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume-title":"Programming Symposium, Proceedings Colloque sur la Programmation","author":"JB Dennis","year":"1974","unstructured":"Dennis, J.B.: First version of a data flow procedure language. In: Programming Symposium, Proceedings Colloque sur la Programmation, pp. 362\u2013376. Springer-Verlag, London, UK (1974)"},{"key":"36_CR8_36","series-title":"Institut National de Recherche en Informatique et en Automatique, Cit\u00e9 Scientifique, 59 655 Villeneuve d\u2019Ascq Cedex","volume-title":"Another multidimensional synchronous dataflow: Simulating Array- OL in Ptolemy II","author":"P Dumont","year":"2005","unstructured":"Dumont, P., Boulet, P.: Another multidimensional synchronous dataflow: Simulating Array- OL in Ptolemy II. Tech. Rep. 5516, Institut National de Recherche en Informatique et en Automatique, Cit\u00e9 Scientifique, 59 655 Villeneuve d\u2019Ascq Cedex (2005)"},{"key":"36_CR9_36","series-title":"University of California at Berkeley","volume-title":"Cal language report - language version 1.0. Tech. rep.","author":"J Ecker","year":"2003","unstructured":"Ecker, J., Janneck, J.W.: Cal language report - language version 1.0. Tech. rep., University of California at Berkeley (2003)."},{"key":"36_CR10_36","unstructured":"Ecker, J., Janneck, J.W.: http:\/\/opendf.sourceforge.net (2009)"},{"key":"36_CR11_36","volume-title":"Taming heterogeneity - the Ptolemy approach","author":"J Eker","year":"2002","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. In: Proceedings of the IEEE (2002)."},{"key":"36_CR12_36","series-title":"SystemC. Proc. FDL\u201906","first-page":"129","volume-title":"Efficient Representation and Simulation of Model-Based Designs","author":"J Falk","year":"2006","unstructured":"Falk, J., Haubelt, C., Teich, J.: Efficient Representation and Simulation of Model-Based Designs in SystemC. Proc. FDL\u201906, Forum on Design Languages 2006, pp. 129 - 134. Darmstadt, Germany (2006)"},{"key":"36_CR13_36","volume-title":"A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications","author":"J Falk","year":"2008","unstructured":"Falk, J., Keinert, J., Haubelt, C., Teich, J., Bhattacharyya, S.: A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications. In: EMSOFT\u201908: Proceedings of the 8th ACM international conference on Embedded software (2008)"},{"key":"36_CR14_36","unstructured":"http:\/\/www.forteds.com (2009)"},{"key":"36_CR15_36","volume-title":"A model driven design framework for high performance embedded systems","author":"A Gamati\u00e9","year":"2008","unstructured":"Gamati\u00e9, A., Beux, S.L., \u00c9ric Piel, Etien, A., Ben-Atitallah, R.,Marquet, P., Dekeyser, J.L.: A model driven design framework for high performance embedded systems. Tech. Rep. 6614, Institut National de Recherche en Informatique et en Automatique (2008)"},{"issue":"561863","key":"36_CR16_36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2008\/561863","volume":"2008","author":"A Gamati\u00e9","year":"2008","unstructured":"Gamati\u00e9, A., Rutten, E., Yu, H., Boulet, P., Dekeyser, J.L.: Synchronous modeling and analysis of data intensive applications. EURASIP Journal on Embedded Systems 2008(561863), 1\u201322 (2008).","journal-title":"EURASIP Journal on Embedded Systems"},{"issue":"6","key":"36_CR17_36","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.: Hierarchical finite state machines with multiple concurrency models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6), 742\u2013760 (1999)","journal-title":"Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on"},{"key":"36_CR18_36","volume-title":"Cycle-Breaking Techniques for Scheduling Synchronous Dataflow Graphs. Tech. Rep.","author":"C Hsu","year":"2007","unstructured":"Hsu, C., Bhattacharyya, S.S.: Cycle-Breaking Techniques for Scheduling Synchronous Dataflow Graphs. Tech. Rep. UMIACS-TR-2007-12, Institute for Advanced Computer Studies, University of Maryland at College Park (2007)."},{"key":"36_CR19_36","first-page":"281","volume-title":"Automatic software synthesis of dataflow program: An mpeg-4 simple profile decoder case study","author":"JW Janneck","year":"2008","unstructured":"Janneck, J.W., Miller, I.D., Parlour, D.B., Roquier, G., Wipliez, M., Raulet, M.: Automatic software synthesis of dataflow program: An mpeg-4 simple profile decoder case study. In: Proc. of the IEEE Workshop on Signal Processing Systems (SiPS\u201908), pp. 281\u2013286 (2008)."},{"key":"36_CR20_36","first-page":"287","volume-title":"Synthesizing hardware from dataflow programs: An mpeg-4 simple profile decoder case study","author":"JW Janneck","year":"2008","unstructured":"Janneck, J.W., Miller, I.D., Parlour, D.B., Roquier, G.,Wipliez, M., Raulet, M.: Synthesizing hardware from dataflow programs: An mpeg-4 simple profile decoder case study. In: Proc. Of the IEEE Workshop on Signal Processing Systems (SiPS\u201908), pp. 287\u2013292 (2008)."},{"key":"36_CR21_36","first-page":"471","volume-title":"The semantics of simple language for parallel programming","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"key":"36_CR22_36","first-page":"135","volume-title":"Model-based synthesis and optimization of static multi-rate image processing algorithms","author":"J Keinert","year":"2009","unstructured":"Keinert, J., Dutta, H., Hannig, F., Haubelt, C., Teich, J.: Model-based synthesis and optimization of static multi-rate image processing algorithms. In: Proceedings of Design, Automation & Test in Europe, pp. 135\u2013140 (2009)"},{"key":"36_CR23_36","first-page":"113","volume-title":"Actor-oriented modeling and simulation of sliding window image processing algorithms","author":"J Keinert","year":"2007","unstructured":"Keinert, J., Falk, J., Haubelt, C., Teich, J.: Actor-oriented modeling and simulation of sliding window image processing algorithms. In: Proceedings of the 2007 IEEE\/ACM\/IFIP Workshop of Embedded Systems for Real-Time Multimedia (ESTIMEDIA 2007), pp. 113\u2013118 (2007)"},{"key":"36_CR24_36","first-page":"892","volume":"III","author":"J Keinert","year":"2006","unstructured":"Keinert, J., Haubelt, C., Teich, J.: Modeling and analysis of windowed synchronous algorithms. ICASSP 2006 III, 892\u2013895 (2006)","journal-title":"ICASSP 2006"},{"key":"36_CR25_36","first-page":"265","author":"J Keinert","year":"2008","unstructured":"Keinert, J., Haubelt, C., Teich, J.: Automatic synthesis of design alternatives for fast streambased out-of-order communication. In: Proceedings of the 2008 IFIP\/IEEE WG 10.5 International Conference on Very Large Scale Integration (VLSI-SoC), pp. 265\u2013270. Rhodes Island, Greece (2008)","journal-title":"Proceedings of the 2008 IFIP\/IEEE WG 10.5 International Conference on Very Large Scale Integration"},{"issue":"1","key":"36_CR26_36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1455229.1455230","volume":"14","author":"J Keinert","year":"2009","unstructured":"Keinert, J., Streub\u00fchr, M., Schlichter, T., Falk, J., Gladigau, J., Haubelt, C., Teich, J., Meredith, M.: SYSTEMCODESIGNER - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications. Transactions on Design Automation of Electronic Systems 14(1), 1\u201323 (2009)","journal-title":"Transactions on Design Automation of Electronic Systems"},{"key":"36_CR27_36","series-title":"Universit\u00e9 des Sciences et Technologies de Lille Laboratoire d\u2019Informatique Fondamentale de Lille, 59655 Villeneuve","volume-title":"Mod\u00e9lisation \u00e0 haut niveau du contr\u00f4le dans des applications de traitement syst\u00e9matique \u00e0 parall\u00e9lisme massif. Ph.D. thesis","author":"O Labbani","year":"2006","unstructured":"Labbani, O.: Mod\u00e9lisation \u00e0 haut niveau du contr\u00f4le dans des applications de traitement syst\u00e9matique \u00e0 parall\u00e9lisme massif. Ph.D. thesis, Universit\u00e9 des Sciences et Technologies de Lille Laboratoire d\u2019Informatique Fondamentale de Lille, 59655 Villeneuve (2006)"},{"key":"36_CR28_36","series-title":"Laboratoire d\u2019Informatique Fondamentale de Lille","volume-title":"Introduction of control into the Gaspard application UML metamodel: Synchronous approach. Tech. Rep. 5794","author":"O Labbani","year":"2005","unstructured":"Labbani, O., Dekeyser, J.L., Boulet, P., Rutten, E.: Introduction of control into the Gaspard application UML metamodel: Synchronous approach. Tech. Rep. 5794, Laboratoire d\u2019Informatique Fondamentale de Lille, Universit\u00e9 des Sciences et Technologies de Lille 59655 Villeneuve d\u2019Ascq Cedex, France (2005)"},{"key":"36_CR29_36","first-page":"94720","volume-title":"Tech. rep., EECS","author":"EA Lee","year":"1997","unstructured":"Lee, E.A.: A denotational semantics for dataflow with firing. Tech. rep., EECS, University of California, Berkeley, CA, USA 94720 (1997)"},{"key":"36_CR30_36","author":"EA Lee","year":"2004","unstructured":"Lee, E.A.: Overview of the ptolemy project, technical memorandum no. ucb\/erl m03\/25. Tech. rep., Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, 94720, USA (2004)","journal-title":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, 94720, USA"},{"issue":"9","key":"36_CR31_36","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous Data Flow. Proceedings of the IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"36_CR32_36","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/1391469.1391629","author":"M Lukasiewycz","year":"2008","unstructured":"Lukasiewycz, M., Gla\u00df, M., Haubelt, C., Teich, J., Regler, R., Lang, B.: Concurrent topology and routing optimization in automotive network integration. In: Proceedings of the 2008 ACM\/EDAC\/IEEE Design Automation Conference (DAC\u201908), pp. 626\u2013629. Anaheim, USA (2008)","journal-title":"Proceedings of the 2008 ACM\/EDAC\/IEEE Design Automation Conference (DAC\u201908)"},{"issue":"7","key":"36_CR33_36","doi-asserted-by":"publisher","first-page":"2064","DOI":"10.1109\/TSP.2002.800830","volume":"50","author":"PK Murthy","year":"2002","unstructured":"Murthy, P.K., Lee, E.A.: Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing Vol 50(7), 2064\u20132079 (2002)","journal-title":"IEEE Transactions on Signal Processing"},{"key":"36_CR34_36","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45937-5_16","volume":"2304","author":"GC Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: Cil: Intermediate language and tools for analysis and transformation of c programs. Lecture Notes in Computer Science 2304, 209\u2013265 (2002).","journal-title":"Lecture Notes in Computer Science"},{"key":"36_CR35_36","author":"A Sangiovanni-Vincentelli","year":"2000","unstructured":"Sangiovanni-Vincentelli, A., Sgroi, M., Lavagno, L.: Formal models for communicationbased design. In: Proceedings of CONCUR \u201900 (2000).","journal-title":"Proceedings of CONCUR \u201900"},{"issue":"4","key":"36_CR36_36","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1109\/TCAD.2006.884569","volume":"26","author":"B Th\u00f6rnberg","year":"2007","unstructured":"Th\u00f6rnberg, B., Palkovic, M., Hu, Q., Olsson, L., Kjeldsberg, P.G., O\u2019Nils, M., Catthoor, F.: Bit-width constrained memory hierarchy optimization for real-time video systems. IEEE Trans. on CAD of Integrated Circuits and Systems 26(4), 781\u2013800 (2007)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"36_CR37_36","unstructured":"XILINX: Embedded SystemTools Reference Manual - Embedded Development Kit EDK 8.1ia (2005)."},{"key":"36_CR38_36","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/MEMCOD.2008.4547699","author":"C Zebelein","year":"2008","unstructured":"Zebelein, C., Falk, J., Haubelt, C., Teich, J.: Classification of General Data Flow Actors into Known Models of Computation. In: Proc. 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), pp. 119\u2013128. Anaheim, CA, USA (2008)","journal-title":"Proc. 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008)"}],"container-title":["Handbook of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6345-1_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T23:56:27Z","timestamp":1676073387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-6345-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963444","9781441963451"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6345-1_36","relation":{},"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"16 July 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}