{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:37Z","timestamp":1750306897866,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T00:00:00Z","timestamp":1362873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006978","name":"University of California Berkeley","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006978","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004405","name":"Toyota Motor Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004405","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3,10]]},"abstract":"<jats:p>Hierarchical SDF models are not compositional: a composite SDF actor cannot be represented as an atomic SDF actor without loss of information that can lead to rate inconsistency or deadlock. Motivated by the need for incremental and modular code generation from hierarchical SDF models, we introduce in this paper DSSF profiles. DSSF (Deterministic SDF with Shared FIFOs) forms a compositional abstraction of composite actors that can be used for modular compilation. We provide algorithms for automatic synthesis of non-monolithic DSSF profiles of composite actors given DSSF profiles of their sub-actors. We show how different trade-offs can be explored when synthesizing such profiles, in terms of compactness (keeping the size of the generated DSSF profile small) versus reusability (maintaining necessary information to preserve rate consistency and deadlock-absence) as well as algorithmic complexity. We show that our method guarantees maximal reusability and report on a prototype implementation.<\/jats:p>","DOI":"10.1145\/2442116.2442133","type":"journal-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:17:58Z","timestamp":1365509878000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Compositionality in synchronous data flow"],"prefix":"10.1145","volume":"12","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Dai","family":"Bui","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}]},{"given":"Bert","family":"Rodiers","sequence":"additional","affiliation":[{"name":"LMS International"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1016\/j.scico.2004.05.010"},{"doi-asserted-by":"crossref","unstructured":"Bhattacharyya S. Lee E. and Murthy P. 1996. Software Synthesis from Dataflow Graphs. Kluwer.   Bhattacharyya S. Lee E. and Murthy P. 1996. Software Synthesis from Dataflow Graphs. Kluwer.","key":"e_1_2_1_2_1","DOI":"10.1007\/978-1-4613-1389-2"},{"volume-title":"Proceedings of the International Conference on Acoustics, Speech, and Signal Processing (ICASSP-95)","author":"Bilsen G.","key":"e_1_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1145\/1289927.1289935"},{"volume-title":"Proceedings of the International Colloquium on Formalization of Programming Concepts. 252--259","author":"Brock J.","key":"e_1_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1145\/503209.503226"},{"volume":"2211","volume-title":"Proceedings of the International Conference on Embedded Software (EMSOFT'01)","author":"de Alfaro L.","key":"e_1_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1109\/JPROC.2002.805829"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1145\/1450058.1450084"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1145\/1629911.1630146"},{"doi-asserted-by":"publisher","key":"e_1_2_1_11_1","DOI":"10.1007\/BF02280834"},{"volume-title":"Proceedings of the IFIP Congress 74","year":"1974","author":"Kahn G.","key":"e_1_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.5555\/850963.854570"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1109\/TC.1987.5009446"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_1","DOI":"10.1145\/1480881.1480893"},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_1","DOI":"10.1109\/RTAS.2008.12"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1145\/1403375.1403736"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1145\/41840.41852"},{"unstructured":"Pino J. Bhattacharyya S. and Lee E. 1995. A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs. Tech. rep. UCB\/ERL M95\/36 EECS Department University of California Berkeley.   Pino J. Bhattacharyya S. and Lee E. 1995. A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs. Tech. rep. UCB\/ERL M95\/36 EECS Department University of California Berkeley.","key":"e_1_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.5555\/1550904"},{"doi-asserted-by":"crossref","unstructured":"Stark E. W. 1995. An algebra of dataflow networks. Fundam. Inform. 22 1\/2 167--185.   Stark E. W. 1995. An algebra of dataflow networks. Fundam. Inform. 22 1\/2 167--185.","key":"e_1_2_1_21_1","DOI":"10.3233\/FI-1995-22128"},{"volume":"2304","volume-title":"Proceedings of the 11th International Conference on Compiler Construction (CC'02)","author":"Thies W.","key":"e_1_2_1_22_1"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442133","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442116.2442133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:06Z","timestamp":1750234746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442133"}},"subtitle":["Modular code generation from hierarchical SDF graphs"],"short-title":[],"issued":{"date-parts":[[2013,3,10]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,3,10]]}},"alternative-id":["10.1145\/2442116.2442133"],"URL":"https:\/\/doi.org\/10.1145\/2442116.2442133","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,3,10]]},"assertion":[{"value":"2010-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}