{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:09Z","timestamp":1750306149394,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T00:00:00Z","timestamp":1484524800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004719","name":"Minist\u00e8re de l\u2019\u00c9conomie, du Redressement productif et du Num\u00e9rique","doi-asserted-by":"crossref","award":["332 913"],"award-info":[{"award-number":["332 913"]}],"id":[{"id":"10.13039\/501100004719","id-type":"DOI","asserted-by":"crossref"}]},{"name":"project COPCAMS"},{"name":"Artemis JU"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2017,5,31]]},"abstract":"<jats:p>Modeling languages propose convenient abstractions and transformations to handle the complexity of today\u2019s embedded systems. Based on the formalism of the Hierarchical State Machine, they enable the expression of hierarchical control parallelism. However, they face two important challenges when it comes to modeling data-intensive applications: no unified approach that also accounts for data-parallel actions and no effective code optimization and generation flows.<\/jats:p>\n          <jats:p>We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations.<\/jats:p>","DOI":"10.1145\/2990195","type":"journal-article","created":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T13:42:08Z","timestamp":1484660528000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["From a Formalized Parallel Action Language to Its Efficient Code Generation"],"prefix":"10.1145","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9518-4911","authenticated-orcid":false,"given":"Ivan","family":"Llopard","sequence":"first","affiliation":[{"name":"CEA, LETI, MINATEC Campus, F-38054 Grenoble, France, Univ. Grenoble-Alpes, F-38000 Grenoble, France"}]},{"given":"Christian","family":"Fabre","sequence":"additional","affiliation":[{"name":"CEA, LETI, MINATEC Campus, F-38054 Grenoble, France, Univ. Grenoble-Alpes, F-38000 Grenoble, France"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"INRIA"}]}],"member":"320","published-online":{"date-parts":[[2017,1,16]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, and Tools (2nd ed.). Addison-Wesley Longman , Boston, MA. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd ed.). Addison-Wesley Longman, Boston, MA."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1122981"},{"key":"e_1_2_1_4_1","unstructured":"Pierre Boulet. 2007. Array-OL Revisited Multidimensional Intensive Signal Processing Specification. Rapport de recherche RR-6113. INRIA.  Pierre Boulet. 2007. Array-OL Revisited Multidimensional Intensive Signal Processing Specification. Rapport de recherche RR-6113. INRIA."},{"volume-title":"The Architecture Of Open Source Applications","author":"Brown Amy","key":"e_1_2_1_5_1","unstructured":"Amy Brown and Greg Wilson . 2012. The Architecture Of Open Source Applications . Vol. II . Retrieved from lulu.com. Amy Brown and Greg Wilson. 2012. The Architecture Of Open Source Applications. Vol. II. Retrieved from lulu.com."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.09.009"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_2_1_9_1","unstructured":"Barbara Chapman Gabriele Jost and Ruud van der Pas. 2007. Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation). The MIT Press.   Barbara Chapman Gabriele Jost and Ruud van der Pas. 2007. Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation). The MIT Press."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2012.30"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED\u201911)","author":"De Oliveira Rodrigues Antonio Wendell","year":"2011","unstructured":"Antonio Wendell De Oliveira Rodrigues , Fr\u00e9d\u00e9ric Guyomarc\u2019H, and Jean-Luc Dekeyser . 2011 . Programming massively parallel architectures using MARTE: A case study . In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED\u201911) on Date Conference 2011. Grenoble, France. Antonio Wendell De Oliveira Rodrigues, Fr\u00e9d\u00e9ric Guyomarc\u2019H, and Jean-Luc Dekeyser. 2011. Programming massively parallel architectures using MARTE: A case study. In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED\u201911) on Date Conference 2011. Grenoble, France."},{"key":"e_1_2_1_12_1","volume-title":"JUMBALA: An Action anguage for UML State Machines. Technical Report HUT-TCS-A101.","author":"Dubrovin Jori","year":"2006","unstructured":"Jori Dubrovin . 2006 . JUMBALA: An Action anguage for UML State Machines. Technical Report HUT-TCS-A101. Jori Dubrovin. 2006. JUMBALA: An Action anguage for UML State Machines. Technical Report HUT-TCS-A101."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188543"},{"key":"e_1_2_1_14_1","volume-title":"Reactive Specification","author":"Gamati\u00e9 Abdoulaye","unstructured":"Abdoulaye Gamati\u00e9 . 2009. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous , Reactive Specification ( 1 st ed.). Springer , Berlin . Abdoulaye Gamati\u00e9. 2009. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification (1st ed.). Springer, Berlin.","edition":"1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043662.2043663"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47884-1_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"volume-title":"ERTS2 2012 (2012-02-01).","author":"Hili Nicolas","key":"e_1_2_1_19_1","unstructured":"Nicolas Hili , Christian Fabre , Sophie Dupuy-Chessa , and St\u00e9phane Malfoy . 2012. Efficient embedded system development: A workbench for an integrated methodology . In ERTS2 2012 (2012-02-01). Toulouse, France . Nicolas Hili, Christian Fabre, Sophie Dupuy-Chessa, and St\u00e9phane Malfoy. 2012. Efficient embedded system development: A workbench for an integrated methodology. In ERTS2 2012 (2012-02-01). Toulouse, France."},{"volume-title":"IEEE Standard for Floating-Point Arithmetic. (Aug","year":"2008","key":"e_1_2_1_20_1","unstructured":"IEEE754 2008. IEEE Standard for Floating-Point Arithmetic. (Aug . 2008 ). IEEE754 2008. IEEE Standard for Floating-Point Arithmetic. (Aug. 2008)."},{"key":"e_1_2_1_21_1","volume-title":"IFIP Congress. 471--475","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The semantics of simple language for parallel programming . In IFIP Congress. 471--475 . Gilles Kahn. 1974. The semantics of simple language for parallel programming. In IFIP Congress. 471--475."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_23"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2609248.2609257"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1989.266596"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227850.2227862"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494994"},{"key":"e_1_2_1_27_1","unstructured":"Object Management Group. 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems.  Object Management Group. 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems."},{"key":"e_1_2_1_29_1","unstructured":"Object Management Group. 2012. OMG Systems Modeling Language (OMG SysML) Version 1.3.  Object Management Group. 2012. OMG Systems Modeling Language (OMG SysML) Version 1.3."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/117009.117015"},{"key":"e_1_2_1_31_1","volume-title":"A structural approach to operational semantics. J. Log. Algebr. Program. 60--61","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 ( 2004 ), 17--139. Gordon D. Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 (2004), 17--139."},{"volume-title":"Theories of Programming Languages","author":"Reynolds John C.","key":"e_1_2_1_32_1","unstructured":"John C. Reynolds . 1999. Theories of Programming Languages . Cambridge University Press , New York, NY . John C. Reynolds. 1999. Theories of Programming Languages. Cambridge University Press, New York, NY."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.64"},{"key":"e_1_2_1_35_1","unstructured":"Dirk Seifert. 2008. An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data. Rapport de recherche.  Dirk Seifert. 2008. An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data. Rapport de recherche."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888455"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the IEEE International Symposium on Parallel and Distributed Processing","author":"Wheeler K. B.","year":"2008","unstructured":"K. B. Wheeler , R. C. Murphy , and D. Thain . 2008. Qthreads: An API for programming with millions of lightweight threads . In Proceedings of the IEEE International Symposium on Parallel and Distributed Processing , 2008 (IPDPS\u201908). 1--8. K. B. Wheeler, R. C. Murphy, and D. Thain. 2008. Qthreads: An API for programming with millions of lightweight threads. In Proceedings of the IEEE International Symposium on Parallel and Distributed Processing, 2008 (IPDPS\u201908). 1--8."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2990195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2990195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:34Z","timestamp":1750217974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2990195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,16]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,5,31]]}},"alternative-id":["10.1145\/2990195"],"URL":"https:\/\/doi.org\/10.1145\/2990195","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2017,1,16]]},"assertion":[{"value":"2015-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-01-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}