{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T19:45:38Z","timestamp":1725392738681},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/dasip.2014.7115623","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T19:33:14Z","timestamp":1433359994000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control"],"prefix":"10.1109","author":[{"given":"S.","family":"Casale-Brunet","sequence":"first","affiliation":[]},{"given":"E.","family":"Bezati","sequence":"additional","affiliation":[]},{"given":"M.","family":"Mattavelli","sequence":"additional","affiliation":[]},{"given":"M.","family":"Canale","sequence":"additional","affiliation":[]},{"given":"J. W.","family":"Janneck","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1109\/ISPA.2013.6703835","article-title":"Design space exploration of high-level stream programs on parallel architectures","author":"casale-brunet","year":"2013","journal-title":"Conference 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.image.2013.08.012"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CICSYN.2013.26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(89)90002-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(02)00186-7"},{"journal-title":"Bounded scheduling of process networks","year":"1995","author":"parks","key":"ref15"},{"year":"2011","key":"ref16","article-title":"Information technology - MPEG systems technologies - Part 4: Codec configuration representation"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6184-6_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6345-1_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.image.2013.08.008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2005.193928"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008052406396"},{"article-title":"Scheduling dynamic dataflow graphs with model checking","year":"2014","author":"johan","key":"ref8"},{"key":"ref7","first-page":"61","article-title":"An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking","author":"weichen","year":"2009","journal-title":"Proceedings of the 7th IEEE\/ACM International Conference on Hardware\/software Codesign and System Synthesis"},{"key":"ref2","article-title":"The semantics of simple language for parallel programming","author":"gilles","year":"1974","journal-title":"IFIP Congress"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","article-title":"First version of a data flow procedure language","author":"dennis","year":"1974","journal-title":"Symposium on Programming"},{"key":"ref9","first-page":"1661","article-title":"Scheduling of dynamic dataflow programs based on state space analysis","author":"johan","year":"2012","journal-title":"Proceedings of the IEEE International Conference on Acoustics Speech and Signal Processing"},{"journal-title":"CAL language report Specification of the CAL actor language","year":"2003","author":"eker","key":"ref20"},{"year":"2014","key":"ref22","article-title":"TURNUS"},{"year":"2014","key":"ref21","article-title":"Open RVC-CAL Applications (Orc-Apps"},{"key":"ref23","article-title":"Turnus: a unified dataflow design space exploration framework for heterogeneous parallel systems","author":"casale-brunet","year":"2013","journal-title":"2013 Conference on Design and Archtictures for Signal and Image Processing (DASIP)"}],"event":{"name":"2014 Conference on Design and Architectures for Signal and Image Processing (DASIP)","start":{"date-parts":[[2014,10,8]]},"location":"Madrid, Spain","end":{"date-parts":[[2014,10,10]]}},"container-title":["Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7108513\/7115593\/07115623.pdf?arnumber=7115623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T12:55:00Z","timestamp":1498222500000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7115623\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/dasip.2014.7115623","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}