{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:27:27Z","timestamp":1770272847450,"version":"3.49.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/samos.2014.6893194","type":"proceedings-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T15:43:19Z","timestamp":1410363799000},"page":"51-58","source":"Crossref","is-referenced-by-count":4,"title":["On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations"],"prefix":"10.1109","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[]},{"given":"Rhishikesh","family":"Limaye","sequence":"additional","affiliation":[]},{"given":"Kaushik","family":"Ravindran","sequence":"additional","affiliation":[]},{"given":"Guoqiang","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/SIPS.2008.4671777"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6345-1_34"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1999.814258"},{"key":"36","doi-asserted-by":"crossref","DOI":"10.1201\/9781420048025","author":"sriram","year":"2009","journal-title":"Embedded Multiprocessors Scheduling and Synchronization 2nd Ed"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-007-0070-9"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012771"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/2.347998"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/BF02280834"},{"key":"16","article-title":"Synthesis of parallel hardware implementations from synchronous dataflow graph specifications","author":"williamson","year":"1996","journal-title":"Asilomar"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344618"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228479"},{"key":"37","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.58"},{"key":"38","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"12","article-title":"Efficient computation of buffer capacities for cyclo-Static dataflow graphs","author":"wiggers","year":"2007","journal-title":"DAC"},{"key":"21","article-title":"Motion estimation accelerator with user search strategy in an RVC context","author":"dubois","year":"2009","journal-title":"IEEE ICIP 09"},{"key":"20","article-title":"Dataflow design of a co-processor architecture for image processing","author":"thavot","year":"2008","journal-title":"DASIP"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5538042"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2008.0093"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/b137175"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_6"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775928"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/s002360000041"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1995.479579"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1269843.1269846"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"30","author":"kohavi","year":"1978","journal-title":"Switching and Finite Automata Theory 2nd Ed"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2011.6190107"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.33"},{"key":"32","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"Information Processing 74 Proceedings of IFIP Congress"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039382"},{"key":"31","doi-asserted-by":"crossref","DOI":"10.21236\/ADA563897","author":"tripakis","year":"2012","journal-title":"On Tokens and Signals Bridging the Semantic Gap between Dataflow Models and Hardware Implementations"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/83710"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1389-2","author":"bhattacharyya","year":"1996","journal-title":"Software Synthesis from Dataflow Graphs"}],"event":{"name":"2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)","location":"Agios Konstantinos, Samos, Greece","start":{"date-parts":[[2014,7,14]]},"end":{"date-parts":[[2014,7,17]]}},"container-title":["2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6879760\/6893178\/06893194.pdf?arnumber=6893194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:45:38Z","timestamp":1602686738000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6893194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/samos.2014.6893194","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}