{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:25:15Z","timestamp":1729653915745,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/sips.2014.6986053","type":"proceedings-article","created":{"date-parts":[[2014,12,31]],"date-time":"2014-12-31T00:59:15Z","timestamp":1419987555000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Instrumentation-driven framework for validation of dataflow applications"],"prefix":"10.1109","author":[{"given":"Ilya","family":"Chukhman","sequence":"first","affiliation":[]},{"given":"Shuvra S.","family":"Bhattacharyya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"22","first-page":"17","article-title":"Functional DIF for rapid prototyping","author":"plishker","year":"2008","journal-title":"Proceedings of the International Symposium on Rapid System Prototyping"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.98"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICME.2008.4607622"},{"key":"16","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-540-70930-5_6","article-title":"An instrumentation-based approach to controller model validation","volume":"4922","author":"cleaveland","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"13","first-page":"43","article-title":"OpenDF - A dataflow toolset for reconfigurable hardware and multicore systems","author":"bhattacharyya","year":"2008","journal-title":"Proceedings of the Swedish Workshop on Multi-Core Computing"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2005.846414"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/EMC.2010.5575731"},{"key":"12","article-title":"CAL language report, language version 1.0 - document edition 1","author":"eker","year":"2003","journal-title":"Electronics Research Laboratory University of California at Berkeley Tech Rep UCB\/ERL M03\/48"},{"key":"21","article-title":"The DSPCAD lightweight dataflow environment: Introduction to LIDE version 0.1","author":"shen","year":"2011","journal-title":"Institute for Advanced Computer Studies University of Maryland at College Park Tech Rep UMIACS-TR-2011- 17"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1109\/ASAP.1993.397152","article-title":"Optimum vectorization of scalable synchronous dataflow graphs","author":"ritz","year":"1993","journal-title":"Proceedings of the International Conference on Application Specific Array Processors"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2004.1260914"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SiPS.2013.6674500"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319863"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-009-0399-3"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.4018\/jertcs.2013010101"},{"journal-title":"JUnit Recipes Practical Methods for Programmer Testing","year":"2004","author":"rainsberger","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01211297","article-title":"Limits of formal methods","volume":"9","author":"kneuper","year":"1997","journal-title":"Formal Aspects of Computing"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-007-0114-1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810700"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"}],"event":{"name":"2014 IEEE Workshop on Signal Processing Systems (SiPS)","start":{"date-parts":[[2014,10,20]]},"location":"Belfast, United Kingdom","end":{"date-parts":[[2014,10,22]]}},"container-title":["2014 IEEE Workshop on Signal Processing Systems (SiPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6973465\/6986048\/06986053.pdf?arnumber=6986053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T02:54:04Z","timestamp":1498186444000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6986053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sips.2014.6986053","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}