{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:29:42Z","timestamp":1770276582778,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T00:00:00Z","timestamp":1369785600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,5,29]]},"DOI":"10.1145\/2463209.2488736","type":"proceedings-article","created":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T16:35:41Z","timestamp":1369758941000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Liveness evaluation of a cyclo-static DataFlow graph"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"Benazouz","sequence":"first","affiliation":[{"name":"CEA, LIST, Gif-Sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alix","family":"Munier-Kordon","sequence":"additional","affiliation":[{"name":"LIP6, UPMC, Place Jussieu, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hujsa","sequence":"additional","affiliation":[{"name":"LIP6, UPMC, Place Jussieu, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Bodin","sequence":"additional","affiliation":[{"name":"KALRAY SA, Orsay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Quo Vadis, Virtual Platforms?(QVVP)","author":"Akesson B.","year":"2012","unstructured":"B. Akesson , S. Stuijk , A. Molnos , M. Koedam , R. Stefan , A. Andrew Nelson and Beyranvand Nejad, and K. Goossens. Virtual platforms for mixed time-criticality applications: The CoMPSoC architecture and SDF3 design flow . In Quo Vadis, Virtual Platforms?(QVVP) , pages 1 -- 2 , 2012 . B. Akesson, S. Stuijk, A. Molnos, M. Koedam, R. Stefan, A. Andrew Nelson and Beyranvand Nejad, and K. Goossens. Virtual platforms for mixed time-criticality applications: The CoMPSoC architecture and SDF3 design flow. In Quo Vadis, Virtual Platforms?(QVVP), pages 1--2, 2012."},{"key":"e_1_3_2_1_2_1","first-page":"302","volume-title":"Parallel and Distributed Processing Techniques and Applications, PDPTA","author":"Anapalli S. R.","year":"2009","unstructured":"S. R. Anapalli , K. C. Chakilam , and T. W. O'Neil . Static Scheduling for Cyclo Static Data Flow Graphs . In Parallel and Distributed Processing Techniques and Applications, PDPTA 2009 , pages 302 -- 306 . CSREA Press , 2009. S. R. Anapalli, K. C. Chakilam, and T. W. O'Neil. Static Scheduling for Cyclo Static Data Flow Graphs. In Parallel and Distributed Processing Techniques and Applications, PDPTA 2009, pages 302--306. CSREA Press, 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2492708.2492944"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309862"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.20"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.33"},{"key":"e_1_3_2_1_10_1","unstructured":"Kalray. Manycore processors for embedded computing. www.kalray.eu.  Kalray. Manycore processors for embedded computing. www.kalray.eu."},{"key":"e_1_3_2_1_11_1","first-page":"38","article-title":"Static Scheduling for synchronous data flow graphs","volume":"1","author":"Khasawneh S. F.","year":"2007","unstructured":"S. F. Khasawneh , M. E. Ritcher , and T. W. O'Neil . Static Scheduling for synchronous data flow graphs . Computers and Their Applications , 1 : 38 -- 43 , 2007 . S. F. Khasawneh, M. E. Ritcher, and T. W. O'Neil. Static Scheduling for synchronous data flow graphs. Computers and Their Applications, 1:38--43, 2007.","journal-title":"Computers and Their Applications"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886619.1886638"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2008.07.037"},{"key":"e_1_3_2_1_15_1","first-page":"135","volume-title":"Introduction to scheduling","author":"Marchetti O.","year":"2009","unstructured":"O. Marchetti and A. Munier Kordon . Cyclic Scheduling for the Synthesis of Embedded Systems . In Y. Vivien and R. Frederic, editors, Introduction to scheduling , chapter 6, pages 135 -- 164 . Chapman and Hall\/CRC Press , 2009 . O. Marchetti and A. Munier Kordon. Cyclic Scheduling for the Synthesis of Embedded Systems. In Y. Vivien and R. Frederic, editors, Introduction to scheduling, chapter 6, pages 135--164. Chapman and Hall\/CRC Press, 2009."},{"key":"e_1_3_2_1_16_1","volume-title":"A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs. Technical report","author":"Pino J. L.","year":"1995","unstructured":"J. L. Pino , S. S. Bhattacharyya , and E. A. Lee . A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs. Technical report , University of California , Berkeley , 1995 . J. L. Pino, S. S. Bhattacharyya, and E. A. Lee. A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs. Technical report, University of California, Berkeley, 1995."},{"key":"e_1_3_2_1_17_1","volume-title":"CRC","author":"Sriram S.","year":"2009","unstructured":"S. Sriram and S. Bhattacharyya . Embedded multiprocessors: Scheduling and synchronization . CRC , 2009 . S. Sriram and S. Bhattacharyya. Embedded multiprocessors: Scheduling and synchronization. CRC, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.58"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"}],"event":{"name":"DAC '13: The 50th Annual Design Automation Conference 2013","location":"Austin Texas","acronym":"DAC '13","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 50th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2463209.2488736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:28Z","timestamp":1750235968000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,29]]},"references-count":18,"alternative-id":["10.1145\/2463209.2488736","10.1145\/2463209"],"URL":"https:\/\/doi.org\/10.1145\/2463209.2488736","relation":{},"subject":[],"published":{"date-parts":[[2013,5,29]]},"assertion":[{"value":"2013-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}