{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:47:51Z","timestamp":1730342871386,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8714987","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"1709-1714","source":"Crossref","is-referenced-by-count":5,"title":["RDF: Reconfigurable Dataflow"],"prefix":"10.23919","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruby","family":"Krishnaswamy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Nicollin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arash","family":"Shafiei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Rdf: Reconfigurable dataflow (extended version)","author":"fradet","year":"2018","journal-title":"Inria - Grenoble - Rhône-Alpes Research Report 9227"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TC.2009.155"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/3-540-57787-4_20"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2597809.2597819"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-319-75396-6_11","article-title":"Overview of reconfigurable Petri nets","author":"padberg","year":"2018","journal-title":"Graph Transformation Specifications and Nets - In Memory of Hartmut Ehrig"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1142\/S0218126608004794"},{"key":"ref16","first-page":"54","article-title":"Model checking reconfigurable Petri nets with Maude","author":"padberg","year":"2016","journal-title":"Graph Transformation - 9th International Conference ICGT"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/EMSOFT.2013.6658581"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/78.950795"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1880050.1880052"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/SAMOS.2013.6621104"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/ICASSP.1993.319147"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/2999539"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref1","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"Information Processing"},{"year":"2014","author":"lee","journal-title":"System Design Modeling and Simulation Using Ptolemy II","key":"ref9"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714987.pdf?arnumber=8714987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T09:24:29Z","timestamp":1643275469000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714987","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}