{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:16Z","timestamp":1740122776457,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10617-012-9093-y","type":"journal-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T12:09:51Z","timestamp":1342699791000},"page":"137-169","source":"Crossref","is-referenced-by-count":6,"title":["Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte"],"prefix":"10.1007","volume":"16","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":[[2012,7,20]]},"reference":[{"key":"9093_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/ISSOC.2010.5625558","volume-title":"2010 international symposium on system on chip (SoC)","author":"A Abdallah","year":"2010","unstructured":"Abdallah A, Gamati\u00e9 A, Dekeyser JL (2010) Correct and energy-efficient design of socs: the h.264 encoder case study. In: 2010 international symposium on system on chip (SoC), pp 115\u2013120"},{"key":"9093_CR2","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded software","author":"L Alfaro","year":"2001","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, Heidelberg, pp 148\u2013165"},{"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\/","key":"9093_CR3"},{"issue":"2","key":"9093_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"},{"doi-asserted-by":"crossref","unstructured":"Berry G (2000) The foundations of esterel. Proof, language and interaction: essays in honour of Robin Milner, pp\u00a0425\u2013454","key":"9093_CR5","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"9093_CR6","volume-title":"Forum on specification and design languages (FDL\u201907)","author":"P Boulet","year":"2007","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":"9093_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"},{"unstructured":"Dumont P (2005) Sp\u00e9cification multidimensionnelle pour le traitement du signal syst\u00e9matique. Ph.D. thesis","key":"9093_CR8"},{"key":"9093_CR9","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/978-1-4419-6345-1_36","volume-title":"Handbook of signal processing systems","author":"J Falk","year":"2010","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, New York, pp 1041\u20131075. http:\/\/dx.doi.org\/10.1007\/978-1-4419-6345-1_36"},{"key":"9093_CR10","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-61736-1_44","volume-title":"The data parallel programming model","author":"P Feautrier","year":"1996","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\/Heidelberg, pp 79\u2013103"},{"issue":"8","key":"9093_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":"9093_CR12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/ISORC.2011.16","volume-title":"IEEE int symp on object\/component\/service-oriented real-time distributed computing","author":"MA Frati Peraldi","year":"2011","unstructured":"Peraldi Frati MA, Deantoni J (2011) Scheduling multi clock real time systems: from requirements to implementation. In: IEEE int symp on object\/component\/service-oriented real-time distributed computing. IEEE Computer Society, Washington, pp 50\u201357"},{"key":"9093_CR13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-1-4614-1415-5_12","volume-title":"Handbook of data intensive computing","author":"A Gamati\u00e9","year":"2011","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. http:\/\/dx.doi.org\/10.1007\/978-1-4614-1415-5_12"},{"issue":"4","key":"9093_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":"9093_CR15","first-page":"141","volume-title":"18th int. symp. on temporal representation and reasoning, TIME","author":"R Gascon","year":"2011","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 int. symp. on temporal representation and reasoning, TIME, L\u00fcbeck, Germany. IEEE Press, Los Alamitos, pp 141\u2013148"},{"unstructured":"Glitia C (2009) Optimisation des applications de traitement syst\u00e9matique intensives sur systems-on-chip. Ph.D. thesis, Universit\u00e9 Lille 1, Sciences et Technologies","key":"9093_CR16"},{"key":"9093_CR17","volume-title":"SAMOS 2008 workshop","author":"C Glitia","year":"2008","unstructured":"Glitia C, Boulet P (2008) High level loop transformations for multidimensional signal processing embedded applications. In: SAMOS 2008 workshop, Samos, Greece"},{"issue":"9","key":"9093_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":"9093_CR19","volume-title":"Forum on specification and design languages (FDL)","author":"C Glitia","year":"2010","unstructured":"Glitia C, DeAntoni J, Mallet F (2010) Logical time at work: capturing data dependencies and platform constraints. In: Forum on specification and design languages (FDL)"},{"issue":"2","key":"9093_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":"9093_CR21","isbn-type":"print","first-page":"471","volume-title":"Information processing 74. IFIP Congress","author":"G Kahn","year":"1974","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: Rosenfeld JL (ed) Information processing 74. IFIP Congress, pp 471\u2013475. ISBN: 978-072042803-2","ISBN":"https:\/\/id.crossref.org\/isbn\/978072042803"},{"issue":"7","key":"9093_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":"9093_CR23","first-page":"295","volume-title":"Architectures and compilation techniques for fine and medium grain parallelism","author":"EA Lee","year":"1993","unstructured":"Lee EA (1993) Multidimensional streams rooted in dataflow. In: Architectures and compilation techniques for fine and medium grain parallelism, pp 295\u2013306"},{"issue":"9","key":"9093_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"},{"unstructured":"OMG (2009) UML Profile for MARTE, v1.0. Object Management Group. Document number: formal\/09-11-02","key":"9093_CR25"},{"unstructured":"OMG (2009) UML Superstructure, v2.2. Object Management Group. Formal\/2009-02-02","key":"9093_CR26"},{"unstructured":"Soula J (2001) Principe de compilation d\u2019un langage de traitement de signal. Ph.D. thesis","key":"9093_CR27"},{"key":"9093_CR28","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/ICECCS.2011.14","volume-title":"16th IEEE int conf on engineering of complex computer systems, ICECCS","author":"L Yin","year":"2011","unstructured":"Yin L, Mallet F, Liu J (2011) Verification of MARTE\/CCSL time requirements in Promela\/SPIN. In: 16th IEEE int conf on engineering of complex computer systems, ICECCS, pp 65\u201374"},{"key":"9093_CR29","first-page":"21","volume-title":"MEMOCODE","author":"H Yu","year":"2011","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. IEEE Press, Los Alamitos, pp 21\u201330"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9093-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9093-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9093-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T07:44:58Z","timestamp":1714203898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9093-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9093"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9093-y","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}