{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:30:11Z","timestamp":1761129011767},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T00:00:00Z","timestamp":1339459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s11265-012-0682-6","type":"journal-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T17:31:34Z","timestamp":1339435894000},"page":"75-88","source":"Crossref","is-referenced-by-count":1,"title":["Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model"],"prefix":"10.1007","volume":"71","author":[{"given":"Hyunok","family":"Oh","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,12]]},"reference":[{"key":"682_CR1","doi-asserted-by":"crossref","unstructured":"Lee, E. A., & Parks, T. M. (1995). Dataflow process network. In Proceedings of the IEEE, vol. 83 (pp. 773\u2013799), May.","DOI":"10.1109\/5.381846"},{"key":"682_CR2","doi-asserted-by":"crossref","unstructured":"Hwang, H., Oh, T., Jung, H., & Ha, S. (2006). Conversion of reference C code to dataflow model: H.264 encoder case study. 11th Asia and South Pacific Design Automation Conference, ASP-DAC 2006, Jan, 24\u201327.","DOI":"10.1145\/1118299.1118345"},{"key":"682_CR3","unstructured":"Kwon, S., Jung, H., & Ha, S. (2004). H.264 decoder algorithm specification and simulation in Simulink and PeaCE. In Proc. International SoC Design Conference (pp. 9\u201312) Oct. 25\u201326."},{"key":"682_CR4","unstructured":"Zadrija, V. (2009). Survey of formal models of computation for multi-core systems. Technical Report, March."},{"key":"682_CR5","doi-asserted-by":"crossref","unstructured":"Bhattacharyya, S., Deprettere, E. F., Leupers, R., & Takala, J. (2010). Handbook of signal processing systems. Springer.","DOI":"10.1007\/978-1-4419-6345-1"},{"key":"682_CR6","doi-asserted-by":"crossref","unstructured":"Lee, E. A., & Messerschmitt, D. G. (1987). Static scheduling of synchronous dataflow programs for digital signal processing. In IEEE Transaction on Computer, vol. C-36 (pp. 24\u201335), January.","DOI":"10.1109\/TC.1987.5009446"},{"key":"682_CR7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/B:VLSI.0000017002.91721.0e","volume":"37","author":"H Oh","year":"2004","unstructured":"Oh, H., & Ha, S. (2004). Fractional rate dataflow model for memory efficient synthesis. Journal of VLSI Signal Processing, 37, 41\u201351.","journal-title":"Journal of VLSI Signal Processing"},{"key":"682_CR8","doi-asserted-by":"crossref","unstructured":"Bilsen, G., Engles, M., Lauwereins, R., & Peperstraete, J. A. (1995). Cyclo-static data flow. In International Conference on Acoustics, Speech, and Signal Processing, vol. 5 (pp. 3255\u20133258), May.","DOI":"10.1109\/ICASSP.1995.479579"},{"key":"682_CR9","doi-asserted-by":"crossref","unstructured":"Bhattacharyya, S., Lee, E., & Murthy, P. (1996). Software synthesis from dataflow graphs. Kluwer.","DOI":"10.1007\/978-1-4613-1389-2"},{"key":"682_CR10","unstructured":"Sriram, S., & Bhattacharyya, S. (2009). Embedded multiprocessors: Scheduling and synchronization (2nd ed.) CRC Press."},{"key":"682_CR11","unstructured":"Buck, J. T. (1994). Static scheduling and code generation from dynamic dataflow graphs with integer-valued control systems. In Asilomar Conf. on Singals, Systems, and Computers, Oct."},{"key":"682_CR12","doi-asserted-by":"crossref","unstructured":"Ha, S., & Lee, E. A. (1997). Compile-time scheduling of dynamic constructs in dataflow program graphs. In IEEE Trans. on Computers, vol. 46, July.","DOI":"10.1109\/12.599897"},{"key":"682_CR13","doi-asserted-by":"crossref","unstructured":"Plishker, W., Sane, N., & Bhattacharyya, S. S. (2009). Mode grouping for more effective generalized scheduling of dynamic dataflow applications. In Proceedings of the Design Automation Conference (pp. 923\u2013926), San Francisco, July.","DOI":"10.1145\/1629911.1630148"},{"key":"682_CR14","unstructured":"Choi, C., & Ha, S. (1997). Software synthesis for dynamic data flow graph. In 8th IEEE Internal Workshop on Rapid System Prototyping, June, 72\u201379."},{"key":"682_CR15","unstructured":"Kahn, G. (1974). The semantics of a simple language for parallel programming. In I 74."},{"issue":"10","key":"682_CR16","doi-asserted-by":"crossref","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B Bhattacharya","year":"2001","unstructured":"Bhattacharya, B., & Bhattacharyya, S. S. (2001). Parameterized dataflow modeling for DSP systems. IEEE Transactions on Signal Processing, 49(10), 2408\u20132421.","journal-title":"IEEE Transactions on Signal Processing"},{"key":"682_CR17","unstructured":"Geilen, M. (2011). Synchronous dataflow scenarios. ACM Transactions on Embedded Computing Systems."},{"key":"682_CR18","unstructured":"Eker, J., & Janneck, J. (2003). CAL language report specification of the CAL actor language. Tech. Rep. UCB\/ERL M03\/48, EECS Department, University of California, Berkeley."},{"key":"682_CR19","unstructured":"Shen, C.-C., Plishker, W., Wu, H.-H., & Bhattacharyya, S. (2010). A lightweight dataflow approach for design and implementation of SDR systems. In Proceedings of the Wireless Innovation Conference and Product Exposition, Washington DC, USA, November."},{"key":"682_CR20","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Bui, D., Geilen, M., Rodiers, B., & Lee, E. (2010). Compositionality in synchronous data flow: modular code generation from hierarchical SDF graphs. EECS Department, University of California, Berkeley, UCB\/EECS-2010-52, May.","DOI":"10.1145\/1795194.1795223"},{"key":"682_CR21","doi-asserted-by":"crossref","unstructured":"Oh, H. (2008). Constant rate dataflow model with intermediate ports for efficient code synthesis with top-down design and dynamic behavior. In International Symposium on Quality Electronic Design (pp. 190\u2013193).","DOI":"10.1109\/ISQED.2008.4479724"},{"key":"682_CR22","first-page":"155","volume":"4","author":"J Buck","year":"1994","unstructured":"Buck, J., Ha, S., Lee, E., & Messerschmitt, D. (1994). Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special Issue on Simulation Software Development, 4, 155\u2013182.","journal-title":"International Journal of Computer Simulation, Special Issue on Simulation Software Development"},{"key":"682_CR23","doi-asserted-by":"crossref","unstructured":"Ha, S., Kim, S., Lee, C., Yi, Y., Kwon, S., & Joo, Y. (2007). Peace: A hardware-software codesign environment for multimedia embedded systems. In ACM Transactions on Design Automation of Electronic Systems (TODAES), volume 12, August.","DOI":"10.1145\/1255456.1255461"},{"key":"682_CR24","unstructured":"Telenor Research. (1997). TMN (H.263) Encoder\/Decoder, Version 2.0. Download via anonymous ftp to bonde.nta.no, June."},{"key":"682_CR25","unstructured":"http:\/\/carbondesignsystems.com\/SocDesignerPlus.aspx ."}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-012-0682-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-012-0682-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-012-0682-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T14:22:15Z","timestamp":1561818135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-012-0682-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,12]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["682"],"URL":"https:\/\/doi.org\/10.1007\/s11265-012-0682-6","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"value":"1939-8018","type":"print"},{"value":"1939-8115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,12]]}}}