{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:37:56Z","timestamp":1740148676390,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,11,10]],"date-time":"2015-11-10T00:00:00Z","timestamp":1447113600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Fonds National Suisse pour la Recherche Scientifique","award":["200021.138214","200021.129960"],"award-info":[{"award-number":["200021.138214","200021.129960"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11265-015-1083-4","type":"journal-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T20:24:55Z","timestamp":1447100695000},"page":"371-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques"],"prefix":"10.1007","volume":"84","author":[{"given":"M.","family":"Canale","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7840-1398","authenticated-orcid":false,"given":"S.","family":"Casale-Brunet","sequence":"additional","affiliation":[]},{"given":"E.","family":"Bezati","sequence":"additional","affiliation":[]},{"given":"M.","family":"Mattavelli","sequence":"additional","affiliation":[]},{"given":"J.","family":"Janneck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,10]]},"reference":[{"key":"1083_CR1","unstructured":"Open RVC-CAL (2015). Applications, Orc-Apps. http:\/\/github.com\/orcc\/orc-apps , Last checked: June."},{"key":"1083_CR2","unstructured":"TURNUS (2015). http:\/\/github.com\/turnus , Last checked, June."},{"key":"1083_CR3","unstructured":"23001-4 (2011). I.: Information technology - MPEG systems technologies - Part 4: Codec configuration representation."},{"issue":"2","key":"1083_CR4","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008052406396","volume":"21","author":"S Bhattacharyya","year":"1999","unstructured":"Bhattacharyya, S., Murthy, P., & Lee, E. (1999). Synthesis of embedded software from synchronous dataflow specifications. Journal of VLSI Signal Processing Systems for Signal Image, and Video Technology, 21(2), 151\u2013166.","journal-title":"Journal of VLSI Signal Processing Systems for Signal Image, and Video Technology"},{"key":"1083_CR5","doi-asserted-by":"publisher","unstructured":"Casale-Brunet, S. (2015). Analysis and optimization of dynamic dataflow programs. Ph.D. thesis, STI, Lausanne. doi: 10.5075\/epfl-thesis-6663 .","DOI":"10.5075\/epfl-thesis-6663"},{"key":"1083_CR6","unstructured":"Casale-Brunet, S., Alberti, C., Mattavelli, M., & Janneck, J. (2013). Design space exploration of high-level stream programs on parallel architectures."},{"key":"1083_CR7","unstructured":"Casale-Brunet, S., Alberti, C., Mattavelli, M., & Janneck, J. (2013). Turnus: a unified dataflow design space exploration framework for heterogeneous parallel systems. In Conference on Design and Archtictures for Signal and Image Processing (DASIP 2013). Italy: Cagliari."},{"issue":"10","key":"1083_CR8","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1016\/j.image.2013.08.012","volume":"28","author":"S Casale-Brunet","year":"2013","unstructured":"Casale-Brunet, S., Elguindy, A., Bezati, E., Thavot, R., Roquier, G., Mattavelli, M., & Janneck, J. (2013). Methods to explore design space for mpeg rmc codec specifications. Image Commun, 28(10), 1278\u20131294. doi: 10.1016\/j.image.2013.08.012 .","journal-title":"Image Commun"},{"key":"1083_CR9","doi-asserted-by":"crossref","unstructured":"Dennis, J. (1974). First version of a data flow procedure language. In Symposium on Programming (pp. 362\u2013376).","DOI":"10.1007\/3-540-06859-7_145"},{"key":"1083_CR10","unstructured":"Eker, J., & Janneck, J. (2003). CAL Language Report: Specification of the CAL Actor Language. University of California-Berkeley."},{"key":"1083_CR11","volume-title":"Scheduling dynamic dataflow graphs with model checking","author":"J Ersfolk","year":"2014","unstructured":"Ersfolk, J. (2014). Scheduling dynamic dataflow graphs with model checking. TUCS Dissertations: PhD Thesis."},{"key":"1083_CR12","doi-asserted-by":"crossref","unstructured":"Ersfolk, J., Roquier, G., Lilius, J., & Mattavelli, M. (2012). Scheduling of dynamic dataflow programs based on state space analysis. In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE (pp. 1661\u20131664).","DOI":"10.1109\/ICASSP.2012.6288215"},{"issue":"3","key":"1083_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","volume":"25","author":"C Garcia","year":"1989","unstructured":"Garcia, C., Prett, D., & Morari, M. (1989). Model predictive control: Theory and practicea survey. Automatica, 25(3), 335\u2013348. doi: 10.1016\/0005-1098(89)90002-2 .","journal-title":"Automatica"},{"key":"1083_CR14","doi-asserted-by":"crossref","unstructured":"Geilen, M., Basten, T., & Stuijk, S. (2005). Minimising buffer requirements of synchronous dataflow graphs with model checking. In Proceedings - Design Automation Conference (pp. 819\u2013824).","DOI":"10.1109\/DAC.2005.193928"},{"issue":"10","key":"1083_CR15","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1016\/j.image.2013.08.008","volume":"28","author":"E Jang","year":"2013","unstructured":"Jang, E., Mattavelli, M., Preda, M., Raulet, M., & Sun, H. (2013). Reconfigurable media coding: An overview. Signal Processing: Image Communication, 28(10), 1215\u20131223. doi: 10.1016\/j.image.2013.08.008 .","journal-title":"Signal Processing: Image Communication"},{"key":"1083_CR16","unstructured":"Kahn, G. (1974). The semantics of simple language for parallel programming, IFIP Congress."},{"issue":"1","key":"1083_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"C-36","author":"E Lee","year":"1987","unstructured":"Lee, E., & Messerschmitt, D. (1987). Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computers, C-36(1), 24\u201335. doi: 10.1109\/TC.1987.5009446 .","journal-title":"IEEE Transactions on Computers"},{"key":"1083_CR18","doi-asserted-by":"publisher","unstructured":"Lee, E., & Parks, T. (1995). Dataflow process networks. In Proceedings of the IEEE, (Vol. 83 pp. 773\u2013801), doi: 10.1109\/5.381846 .","DOI":"10.1109\/5.381846"},{"key":"1083_CR19","doi-asserted-by":"crossref","unstructured":"Liu, W., Gu, Z., Xu, J., Wang, Y., & Yuan, M. (2009). An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. In Proceedings of the 7th IEEE\/ACM international conference on Hardware\/software codesign and system synthesis, pp. 61\u201370. New York, USA.","DOI":"10.1145\/1629435.1629445"},{"key":"1083_CR20","doi-asserted-by":"publisher","unstructured":"Mattavelli, M. (2012). MPEG reconfigurable video representation. In Chiariglione, L. (Ed.) The MPEG Representation of Digital Media, pp. 231\u2013247. Springer New York. doi: 10.1007\/978-1-4419-6184-6_12 .","DOI":"10.1007\/978-1-4419-6184-6_12"},{"key":"1083_CR21","doi-asserted-by":"publisher","unstructured":"Mattavelli, M., Janneck, J.W., & Raulet, M. (2010). MPEG reconfigurable video coding. In Bhattacharyya, S., Deprettere, R., Leupers, E.and, & Takala, J. (Eds.) Handbook of Signal Processing Systems, pp. 43\u201367. Springer US. doi: 10.1007\/978-1-4419-6345-1_3 .","DOI":"10.1007\/978-1-4419-6345-1_3"},{"key":"1083_CR22","doi-asserted-by":"publisher","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, (Vol. 77 pp. 541\u2014580), doi: 10.1109\/5.24143 .","DOI":"10.1109\/5.24143"},{"key":"1083_CR23","unstructured":"Parks, T. (1995). Bounded Scheduling of Process Networks. In PhD Thesis-University of California-Berkeley."},{"issue":"7","key":"1083_CR24","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/S0967-0661(02)00186-7","volume":"11","author":"S Qin","year":"2003","unstructured":"Qin, S., & Badgwell, T. (2003). A survey of industrial model predictive control technology. Control Engineering Practice, 11(7), 733\u2013764. doi: 10.1016\/S0967-0661(02)00186-7 .","journal-title":"Control Engineering Practice"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1083-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-015-1083-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1083-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T08:22:29Z","timestamp":1559377349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-015-1083-4"}},"subtitle":["Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies"],"short-title":[],"issued":{"date-parts":[[2015,11,10]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["1083"],"URL":"https:\/\/doi.org\/10.1007\/s11265-015-1083-4","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"type":"print","value":"1939-8018"},{"type":"electronic","value":"1939-8115"}],"subject":[],"published":{"date-parts":[[2015,11,10]]}}}