{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:43:40Z","timestamp":1743007420946,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030500283"},{"type":"electronic","value":"9783030500290"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50029-0_4","type":"book-chapter","created":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T23:03:55Z","timestamp":1591743835000},"page":"57-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Energy-, Time- and Security-Aware Multi-core Coordination"],"prefix":"10.1007","author":[{"given":"Julius","family":"Roeder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Rouxel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Altmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Grelck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P Achten","year":"1995","unstructured":"Achten, P., Plasmeijer, M.: The ins and outs of Clean I\/O. J. Funct. Program. 5(1), 81\u2013110 (1995)","journal-title":"J. Funct. Program."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P., Torquati, M.: Fastflow: high-level and efficient streaming on multicore. In: Programming Multi-core and Many-core Computing Systems. Wiley (2017)","DOI":"10.1002\/9781119332015.ch13"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alras, M., Caspi, P., Girault, A., Raymond, P.: Model-based design of embedded control systems by means of a synchronous intermediate model. In: International Conference on Embedded Software and Systems, pp. 3\u201310. IEEE (2009)","DOI":"10.1109\/ICESS.2009.36"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-34874-3_12","volume-title":"Interactive Computation","author":"F Arbab","year":"2006","unstructured":"Arbab, F.: Composition of interacting computations. In: Goldin, D., Smolka, S., Wegner, P. (eds.) Interactive Computation, pp. 277\u2013321. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-34874-3_12"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"4_CR7","unstructured":"Bondavalli, A., Strigini, L., Simoncini, L.: Dataflow-like languages for real-time systems: issues of computational models and notation. In: 11th Symposium on Reliable Distributed Systems (SRDS 1992), pp. 214\u2013221. IEEE (1992)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Casini, D., Biondi, A., Nelissen, G., Buttazzo, G.: Partitioned fixed-priority scheduling of parallel tasks without preemptions. In: 2018 IEEE Real-Time Systems Symposium (RTSS 2018), pp. 421\u2013433. IEEE (2018)","DOI":"10.1109\/RTSS.2018.00056"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Ciatto, G., Mariani, S., Louvel, M., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) (COORDINATION\u201918). LNCS, vol. 10852, pp. 51\u201380. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-92408-3_3","DOI":"10.1007\/978-3-319-92408-3_3"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Falk, H., Lokuciejewski, P., Theiling, H.: Design of a WCET-aware C compiler. In: 2006 IEEE\/ACM\/IFIP Workshop on Embedded Systems for Real Time Multimedia (ESTIMedia 2006), pp. 121\u2013126. IEEE (2006)","DOI":"10.1109\/ESTMED.2006.321284"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis and design language (AADL): an introduction. Technical report, Carnegie-Mellon University, Pittsburgh, USA, Software Engineering Institute (2006)","DOI":"10.21236\/ADA455842"},{"key":"4_CR12","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-1-4020-8157-6_29","volume-title":"Building the Information Society","author":"C Ferdinand","year":"2004","unstructured":"Ferdinand, C., Heckmann, R.: aiT: worst-case execution time prediction by static program analysis. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 377\u2013383. Springer, Boston (2004). https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_29"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s10766-009-0121-x","volume":"38","author":"C Grelck","year":"2010","unstructured":"Grelck, C., Scholz, S.B., Shafarenko, A.: Asynchronous stream processing with S-Net. Int. J. Parallel Prog. 38(1), 38\u201367 (2010). https:\/\/doi.org\/10.1007\/s10766-009-0121-x","journal-title":"Int. J. Parallel Prog."},{"issue":"9","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-39815-8_3","volume-title":"Generative Programming and Component Engineering","author":"K Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.: Hume: a domain-specific language for real-time embedded systems. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol. 2830, pp. 37\u201356. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39815-8_3"},{"issue":"1","key":"4_CR17","first-page":"201","volume":"22","author":"SS Jongmans","year":"2012","unstructured":"Jongmans, S.S., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46\u201361 (1973)","journal-title":"J. ACM (JACM)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Melani, A., Bertogna, M., Bonifaci, V., Marchetti-Spaccamela, A., Buttazzo, G.C.: Response-time analysis of conditional dag tasks in multiprocessor systems. In: 27th Euromicro Conference on Real-Time Systems (RTS 2015), pp. 211\u2013221. IEEE (2015)","DOI":"10.1109\/ECRTS.2015.26"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Rieger, C., Wrede, F., Kuchen, H.: Musket: A domain-specific language for high-level parallel programming with algorithmic skeletons. In: 34th ACM Symposium on Applied Computing (SAC 2019), pp. 1534\u20131543. ACM, New York (2019)","DOI":"10.1145\/3297280.3297434"},{"key":"4_CR21","volume-title":"The C Programming Language","author":"DM Ritchie","year":"1988","unstructured":"Ritchie, D.M., Kernighan, B.W., Lesk, M.E.: The C Programming Language. Prentice Hall, Englewood Cliffs (1988)"},{"key":"4_CR22","unstructured":"Roeder, J., Rouxel, B., Altmeyer, S., Grelck, C.: Interdependent multi-version scheduling in heterogeneous energy-aware embedded systems. In: 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019) of the 27th International Conference on Real-Time Networks and Systems (RTNS 2019) (2019)"},{"key":"4_CR23","unstructured":"Rouxel, B., Skalistis, S., Derrien, S., Puaut, I.: Hiding communication delays in contention-free execution for SPM-based multi-core architectures. In: 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) (2019)"},{"issue":"2","key":"4_CR24","first-page":"271","volume":"1","author":"C Rusu","year":"2005","unstructured":"Rusu, C., Melhem, R., Moss\u00e9, D.: Multi-version scheduling in rechargeable energy-aware real-time systems. J. Embed. Comput. 1(2), 271\u2013283 (2005)","journal-title":"J. Embed. Comput."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Seewald, A., Schultz, U.P., Roeder, J., Rouxel, B., Grelck, C.: Component-based computation-energy modeling for embedded systems. In: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH Companion 2019. ACM, New York (2019)","DOI":"10.1145\/3359061.3362775"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Tendulkar, P., Poplavko, P., Galanommatis, I., Maler, O.: Many-core scheduling of data parallel applications using SMT solvers. In: 17th Euromicro Conference on Digital System Design (DSD 2014), pp. 615\u2013622. IEEE (2014)","DOI":"10.1109\/DSD.2014.10"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Compiler Construction","author":"W Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.: StreamIt: a language for streaming applications. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 179\u2013196. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_14"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The Essence of Functional Programming. In: 19th ACM Symposium on Principles of Programming Languages (POPL 1992), pp. 1\u201314. ACM Press (1992)","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50029-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T23:03:00Z","timestamp":1717974180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-50029-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030500283","9783030500290"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50029-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2020\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 invited tutorials and 4 tool papers. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}