{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:25:27Z","timestamp":1729657527681,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961839","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T20:57:36Z","timestamp":1417035456000},"page":"12-21","source":"Crossref","is-referenced-by-count":2,"title":["Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing"],"prefix":"10.1109","author":[{"given":"Joost P.H.M.","family":"Hausmans","sequence":"first","affiliation":[]},{"given":"Stefan J.","family":"Geuns","sequence":"additional","affiliation":[]},{"given":"Maarten H.","family":"Wiggers","sequence":"additional","affiliation":[]},{"given":"Marco J.G.","family":"Bekooij","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CASES.2013.6662509"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ESTMED.2010.5666985"},{"key":"18","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","article-title":"Streamit: A language for streaming applications","author":"thies","year":"2002","journal-title":"Proc of the Int'l Conf on Compiler Construction (CC)"},{"key":"15","first-page":"35","article-title":"Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs","author":"de groote","year":"2013","journal-title":"Proc of the Int'l Conf on Formal Methods and Models for Co-Design (MEMOCODE) IEEE"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CODES.2002.1003593"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484749"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.155"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375596"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147138"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/84078"},{"key":"20","article-title":"StreaMorph: A case for synthesizing energyefficient adaptive programs using high-level abstractions","author":"bui","year":"2013","journal-title":"Proc of the Int'l Conf on Embedded Software (EMSOFT) IEEE"},{"key":"22","article-title":"Circular buffers with multiple overlapping windows for cyclic task graphs","volume":"5","author":"bijlsma","year":"2011","journal-title":"Transactions on High-Performance Embedded Architectures and Compilers I"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176260"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380390"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629359"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"1992","author":"baccelli","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531085"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1027084.1027085"},{"journal-title":"Embedded Multiprocessors Scheduling and Synchronization","year":"2000","author":"sriram","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763211"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168877"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2007.4378329"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2491899.2465561"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1880050.1880053"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2012.6404169"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.33"}],"event":{"name":"2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)","start":{"date-parts":[[2014,10,19]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,21]]}},"container-title":["2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6950639\/6961832\/06961839.pdf?arnumber=6961839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T21:38:28Z","timestamp":1566077908000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961839\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961839","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}