{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T20:10:17Z","timestamp":1717186217223},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,8,2]],"date-time":"2014-08-02T00:00:00Z","timestamp":1406937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s10617-014-9140-y","type":"journal-article","created":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T15:05:19Z","timestamp":1406905519000},"page":"1-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE"],"prefix":"10.1007","volume":"19","author":[{"given":"Calin","family":"Glitia","sequence":"first","affiliation":[]},{"given":"Julien","family":"DeAntoni","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Jean-Vivien","family":"Millo","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Boulet","sequence":"additional","affiliation":[]},{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,2]]},"reference":[{"key":"9140_CR1","unstructured":"Abdallah A, Gamati\u00e9 A, Dekeyser JL (2010) Correct and energy-efficient design of socs: the h.264 encoder case study. In: International symposium on system on chip (SoC), pp 115\u2013120"},{"key":"9140_CR2","doi-asserted-by":"crossref","unstructured":"Alfaro L, Henzinger TA (2001) Interface theories for component-based design. In: Henzinger TA, Kirsch CM (eds) Embedded software, Lecture notes in computer science, vol 2211. Springer, Berlin, pp 148\u2013165","DOI":"10.1007\/3-540-45449-7_11"},{"key":"9140_CR3","unstructured":"Andr\u00e9 C (2009) Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research report 6925, INRIA. http:\/\/hal.inria.fr\/inria-00384077\/"},{"issue":"2","key":"9140_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Le Guernic P, Jacquemot C (1991) Synchronous programming with events and relations: the SIGNAL language and its semantics. Sci Comput Program 16(2):103\u2013149","journal-title":"Sci Comput Program"},{"key":"9140_CR5","doi-asserted-by":"crossref","unstructured":"Berry G (2000) The foundations of Esterel. In: Plotkin G, Stirling CP, Tofte M (eds) Proof, language and interaction: essays in honour of Robin Milner. MIT Press, Cambridge, pp 425\u2013454","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"9140_CR6","unstructured":"Boulet P, Marquet P, Piel E, Taillard J (2007) Repetitive allocation modeling with MARTE. In: Forum on specification and design languages (FDL\u201907). Barcelona, Spain"},{"issue":"9","key":"9140_CR7","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F Boussinot","year":"2002","unstructured":"Boussinot F, De Simone R (2002) The ESTEREL language. Proc IEEE 79(9):1293\u20131304","journal-title":"Proc IEEE"},{"key":"9140_CR8","unstructured":"Dumont P (2005) Sp\u00e9cification multidimensionnelle pour le traitement du signal systmatique. PhD thesis"},{"key":"9140_CR9","doi-asserted-by":"crossref","unstructured":"Falk J, Keinert J, Haubelt C, Teich J, Zebelein C (2010) Integrated modeling using finite state machines and dataflow graphs. In: Bhattacharyya SS, Deprettere EF, Leupers R, Takala J(eds) Handbook of signal processing systems. Springer, US, pp 1041\u20131075. doi: 10.1007\/978-1-4419-6345-1_36","DOI":"10.1007\/978-1-4419-6345-1_36"},{"key":"9140_CR10","doi-asserted-by":"crossref","unstructured":"Feautrier P (1996) Automatic parallelization in the polytope model. In: Perrin GR, Darte A (eds) The data parallel programming model, Lecture notes in computer science, vol 1132. Springer, Berlin, pp 79\u2013103","DOI":"10.1007\/3-540-61736-1_44"},{"issue":"8","key":"9140_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C Fidge","year":"2002","unstructured":"Fidge C (2002) Logical time in distributed computing systems. Computer 24(8):28\u201333","journal-title":"Computer"},{"key":"9140_CR12","doi-asserted-by":"crossref","unstructured":"Peraldi Frati MA, Deantoni J (2011) Scheduling multi clock real time systems: from requirements to implementation. In: IEEE international symposium on object\/component\/service-oriented real-time distributed computing, pp 50\u201357. IEEE Computer Society","DOI":"10.1109\/ISORC.2011.16"},{"key":"9140_CR13","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9 A (2011) Specification of data intensive applications with data dependency and abstract clocks. In: Furht B, Escalante A (eds) Handbook of data intensive computing. Springer, New York, pp 323\u2013348. doi: 10.1007\/978-1-4614-1415-5_12","DOI":"10.1007\/978-1-4614-1415-5_12"},{"issue":"4","key":"9140_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/2043662.2043663","volume":"10","author":"A Gamati\u00e9","year":"2011","unstructured":"Gamati\u00e9 A, Beux SL, Piel \u00c9, Atitallah RB, Etien A, Marquet P, Dekeyser JL (2011) A model-driven design framework for massively parallel embedded systems. ACM Trans Embed Comput Syst 10(4):39","journal-title":"ACM Trans Embed Comput Syst"},{"key":"9140_CR15","doi-asserted-by":"crossref","unstructured":"Gascon R, Mallet F, DeAntoni J (2011) Logical time and temporal logics: comparing UML MARTE\/CCSL and PSL. In: Combi C, Leucker M, Wolter F (eds) 18th interantional symposium on temporal representation and reasoning, TIME. IEEE, L\u00fcbeck, pp 141\u2013148","DOI":"10.1109\/TIME.2011.10"},{"key":"9140_CR16","unstructured":"Glitia C (2009) Optimisation des applications de traitement systmatique intensives sur systems-on-chip. PhD thesis, Universit\u00e9 Lille 1, Sciences et Technologies"},{"key":"9140_CR17","doi-asserted-by":"crossref","unstructured":"Glitia C, Boulet P (2008) High level loop transformations for multidimensional signal processing embedded applications. In: SAMOS 2008 workshop. Samos, Greece","DOI":"10.1007\/978-3-540-70550-5_21"},{"issue":"9","key":"9140_CR18","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1016\/j.sysarc.2010.12.002","volume":"57","author":"C Glitia","year":"2011","unstructured":"Glitia C, Boulet P, Lenormand E, Barreteau M (2011) Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications. J Syst Archit 57(9):815\u2013829","journal-title":"J Syst Archit"},{"key":"9140_CR19","unstructured":"Glitia C, DeAntoni J, Mallet F (2010) System specification and design languages. In: Kazmierski TJ, Morawiec A (eds) Logical time @ work: capturing data dependencies and platform constraints, chap 14. Lecture notes in electrical engineering, vol. 106. Springer, New York, pp. 223\u2013238"},{"issue":"2","key":"9140_CR20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/s11045-009-0085-4","volume":"21","author":"C Glitia","year":"2010","unstructured":"Glitia C, Dumont P, Boulet P (2010) Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing. Multidimens Syst Signal Process 21(2):105\u2013131","journal-title":"Multidimens Syst Signal Process"},{"key":"9140_CR21","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: Information processing, pp 471\u2013475"},{"issue":"7","key":"9140_CR22","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"key":"9140_CR23","unstructured":"Lee EA (1993) Mulitdimensional streams rooted in dataflow. In: Architectures and compilation techniques for fine and medium grain parallelism, pp 295\u2013306"},{"issue":"9","key":"9140_CR24","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Synchronous data flow. Proc IEEE 75(9):1235\u20131245","journal-title":"Proc IEEE"},{"key":"9140_CR25","unstructured":"Object Management Group (2009) OMG: UML profile for MARTE, v1.0. Document number: formal\/09-11-02"},{"key":"9140_CR26","unstructured":"Object Management Group (2009) OMG: UML superstructure, v2.2. Formal\/2009-02-02"},{"key":"9140_CR27","unstructured":"Soula J (2001) Principe de compilation d\u2019un langage de traitement de signal. PhD thesis"},{"key":"9140_CR28","doi-asserted-by":"crossref","unstructured":"Yin L, Mallet F, Liu J (2011) Verification of MARTE\/CCSL time requirements in Promela\/SPIN. In: 16th IEEE interantional conference on engineering of complex computer systems, ICECCS, pp 65\u201374","DOI":"10.1109\/ICECCS.2011.14"},{"key":"9140_CR29","doi-asserted-by":"crossref","unstructured":"Yu H, Talpin JP, Besnard L, Gautier T, Marchand H, Guernic PL (2011) Polychronous controller synthesis from MARTE CCSL timing specifications. In: Singh S, Jobstmann B, Kishinevsky M, Brandt J (eds) MEMOCODE, pp 21\u201330. IEEE","DOI":"10.1109\/MEMCOD.2011.5970507"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9140-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-014-9140-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9140-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T19:54:48Z","timestamp":1717185288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-014-9140-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,2]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["9140"],"URL":"https:\/\/doi.org\/10.1007\/s10617-014-9140-y","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,2]]}}}