{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:31Z","timestamp":1750221271735,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1162124"],"award-info":[{"award-number":["CCF-1162124"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127055","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"175-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Compositional dataflow circuits"],"prefix":"10.1145","author":[{"given":"Stephen A.","family":"Edwards","sequence":"first","affiliation":[{"name":"Columbia University"}]},{"given":"Richard","family":"Townsend","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Martha A.","family":"Kim","sequence":"additional","affiliation":[{"name":"Columbia University"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"volume-title":"Proceedings of the International Symposium on Image and Signal Processing and Analysis (ISPA). The Institute of Electrical and Electronics Engineers (IEEE)","author":"Bezati Endri","key":"e_1_3_2_1_1_1","unstructured":"Endri Bezati , Marco Mattavelli , and J\u00f6rn W. Janneck . 2013. High-Level Synthesis of Dataflow Programs for Signal Processing Systems . In Proceedings of the International Symposium on Image and Signal Processing and Analysis (ISPA). The Institute of Electrical and Electronics Engineers (IEEE) , Trieste, Italy, 750--755. Endri Bezati, Marco Mattavelli, and J\u00f6rn W. Janneck. 2013. High-Level Synthesis of Dataflow Programs for Signal Processing Systems. In Proceedings of the International Symposium on Image and Signal Processing and Analysis (ISPA). The Institute of Electrical and Electronics Engineers (IEEE), Trieste, Italy, 750--755."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(88)90016-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340485"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.036"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"e_1_3_2_1_7_1","volume-title":"Leiserson","author":"Cormen Thomas H.","year":"2001","unstructured":"Thomas H. Cormen , Clifford Stein , Ronald L. Rivest , and Charles E . Leiserson . 2001 . Introduction to Algorithms. McGraw-Hill , New York. Thomas H. Cormen, Clifford Stein, Ronald L. Rivest, and Charles E. Leiserson. 2001. Introduction to Algorithms. McGraw-Hill, New York."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558639"},{"key":"e_1_3_2_1_9_1","volume-title":"ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems","author":"Cortadella Jordi","year":"2006","unstructured":"Jordi Cortadella , Mike Kishinevsky , and Bill Grundmann . 2006 . SELF: Specification and design of synchronous elastic circuits . In ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems . San Jose, California, 6. Jordi Cortadella, Mike Kishinevsky, and Bill Grundmann. 2006. SELF: Specification and design of synchronous elastic circuits. In ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems. San Jose, California, 6."},{"key":"e_1_3_2_1_10_1","volume-title":"Janneck","author":"Eker Johan","year":"2003","unstructured":"Johan Eker and J\u00f6rn W . Janneck . 2003 . CAL Language Report: Specification of the CAL Actor Language. Technical Report UCB\/ERL M03\/48. EECS Department, University of California , Berkeley. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2003\/4186.html Johan Eker and J\u00f6rn W. Janneck. 2003. CAL Language Report: Specification of the CAL Actor Language. Technical Report UCB\/ERL M03\/48. EECS Department, University of California, Berkeley. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2003\/4186.html"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-009-0397-5"},{"key":"e_1_3_2_1_12_1","volume-title":"Information Processing 74: Proceedings of IFIP Congress 74","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The Semantics of a Simple Language for Parallel Programming . In Information Processing 74: Proceedings of IFIP Congress 74 . North-Holland, Stockholm, Sweden, 471--475. Gilles Kahn. 1974. The Semantics of a Simple Language for Parallel Programming. In Information Processing 74: Proceedings of IFIP Congress 74. North-Holland, Stockholm, Sweden, 471--475."},{"key":"e_1_3_2_1_13_1","volume-title":"Lee and Eleftherios Matsikoudis","author":"Edward","year":"2008","unstructured":"Edward A. Lee and Eleftherios Matsikoudis . 2008 . The Semantics of Dataflow with Firing. In From Semantics to Computer Science : Essays in memory of Gilles Kahn. Cambridge University Press , Cambridge, UK, Chapter 4, 71--94. Edward A. Lee and Eleftherios Matsikoudis. 2008. The Semantics of Dataflow with Firing. In From Semantics to Computer Science: Essays in memory of Gilles Kahn. Cambridge University Press, Cambridge, UK, Chapter 4, 71--94."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371256"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2016.7753285"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Design and Architectures for Signal and Image Processing (DASIP). ECSI","author":"Thavot Richard","year":"2009","unstructured":"Richard Thavot , Romuald Mosqueron , Julien Dubois , and Marco Mattavelli . 2009 . Hardware Synthesis of Complex Standard Interfaces using CAL Dataflow Descriptions . In Proceedings of Design and Architectures for Signal and Image Processing (DASIP). ECSI , Sophia Antipolis, France, 127--134. Richard Thavot, Romuald Mosqueron, Julien Dubois, and Marco Mattavelli. 2009. Hardware Synthesis of Complex Standard Interfaces using CAL Dataflow Descriptions. In Proceedings of Design and Architectures for Signal and Image Processing (DASIP). ECSI, Sophia Antipolis, France, 127--134."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033027"},{"volume-title":"Embedded Computer Systems: Architectures, Modeling, and Simulation (Proceedings of SAMOS Workshop)","author":"Tripakis Stavros","key":"e_1_3_2_1_19_1","unstructured":"Stavros Tripakis , Rhishikesh Limaye , Kaushik Ravindran , and Guoqiang Wang . 2014. On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations . In Embedded Computer Systems: Architectures, Modeling, and Simulation (Proceedings of SAMOS Workshop) . IEEE , Samos, Greece , 51--58. Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, and Guoqiang Wang. 2014. On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations. In Embedded Computer Systems: Architectures, Modeling, and Simulation (Proceedings of SAMOS Workshop). IEEE, Samos, Greece, 51--58."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2638550"}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127055","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127055","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:06Z","timestamp":1750212666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":20,"alternative-id":["10.1145\/3127041.3127055","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127055","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}