{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:13Z","timestamp":1750306933459,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"1s","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"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":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:p>Automatic parallelization of Nested Loop Programs (NLPs) is an attractive method to create embedded real-time stream processing applications for multi-core systems. However, the description and parallelization of applications with a time dependent functional behavior has not been considered in NLPs. In such a description, semantic information about time dependent behavior must be made available for the compiler, such that an optimized time independent implementation can be generated automatically.<\/jats:p>\n          <jats:p>This article introduces language constructs with temporal semantics to NLPs. Using these language constructs, time dependent applications can be specified and a corresponding data-driven implementation can be generated for use on a multi-core system. Despite that these time-aware language constructs can be data-dependent, the application remains functionally deterministic. Pipelining is exploited to increase the throughput of an application. The media access control (MAC) protocol of an IEEE 802.11p WLAN transceiver is used to illustrate the relevance and applicability of the introduced concepts.<\/jats:p>","DOI":"10.1145\/2435227.2435231","type":"journal-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T13:34:23Z","timestamp":1363700063000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Sequential specification of time-aware stream processing applications"],"prefix":"10.1145","volume":"12","author":[{"given":"Stefan J.","family":"Geuns","sequence":"first","affiliation":[{"name":"University of Twente, Netherlands"}]},{"given":"Joost P. H. M.","family":"Hausmans","sequence":"additional","affiliation":[{"name":"University of Twente, Netherlands"}]},{"given":"Marco J. G.","family":"Bekooij","sequence":"additional","affiliation":[{"name":"NXP Semiconductors\/University of Twente, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2013,3,21]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Berry G. 2003. The effectiveness of synchronous languages for the development of safety-critical systems. White Paper Esterel Technologies.  Berry G. 2003. The effectiveness of synchronous languages for the development of safety-critical systems. White Paper Esterel Technologies."},{"key":"e_1_2_1_2_1","unstructured":"Berry G. and Gonthier G. 1988. The Esterel Synchronous Programming Language: Design Semantics Implementation. Institut National de Recherche en Informatique et en Automatiquec.  Berry G. and Gonthier G. 1988. The Esterel Synchronous Programming Language: Design Semantics Implementation. Institut National de Recherche en Informatique et en Automatiquec."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646705.702042"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1361096.1361104"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024787"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA518830"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967688"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763118"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045487"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the International Workshop on Synchronous Languages, Applications and Programs.","volume":"5","author":"Girault A.","year":"2005","unstructured":"Girault , A. 2005 . A survey of automatic distribution method for synchronous programs . In Proceedings of the International Workshop on Synchronous Languages, Applications and Programs. Vol. 5 . Girault, A. 2005. A survey of automatic distribution method for synchronous programs. In Proceedings of the International Workshop on Synchronous Languages, Applications and Programs. Vol. 5."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESTMED.2010.5666977"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.911337"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe Conferenc. 340--345","author":"Stefanov T.","key":"e_1_2_1_15_1","unstructured":"Stefanov , T. , Zissulescu , C. , Turjan , A. , Kienhuis , B. , and Deprettere , E . 2004. System design using Kahn process networks: the Compaan\/Laura approach . In Proceedings of the Design, Automation and Test in Europe Conferenc. 340--345 . Stefanov, T., Zissulescu, C., Turjan, A., Kienhuis, B., and Deprettere, E. 2004. System design using Kahn process networks: the Compaan\/Laura approach. In Proceedings of the Design, Automation and Test in Europe Conferenc. 340--345."},{"key":"e_1_2_1_16_1","first-page":"1995","article-title":"Ada 95 Reference Manual","volume":"8652","author":"Taft S.","year":"1997","unstructured":"Taft , S. and Duff , R. 1997 . Ada 95 Reference Manual : Language and Standard Libraries: International Standard ISO\/IEC 8652 : 1995 (E). Springer Verlag. Taft, S. and Duff, R. 1997. Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO\/IEC 8652: 1995 (E). Springer Verlag.","journal-title":"Language and Standard Libraries: International Standard ISO\/IEC"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278647"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543136.1542457"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435231","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2435227.2435231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:40Z","timestamp":1750235740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":19,"journal-issue":{"issue":"1s","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1145\/2435227.2435231"],"URL":"https:\/\/doi.org\/10.1145\/2435227.2435231","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"2012-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}