{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T12:31:45Z","timestamp":1725971505483},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319763477"},{"type":"electronic","value":"9783319763484"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-76348-4_69","type":"book-chapter","created":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T11:10:42Z","timestamp":1521630642000},"page":"712-723","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Scheduling Analysis and Correction of Periodic Real Time Systems with Tasks Migration"],"prefix":"10.1007","author":[{"given":"Faten","family":"Mrabet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Karamti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adel","family":"Mahfoudhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,22]]},"reference":[{"key":"69_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, S., Gupta, R.K.: Data-flow assisted behavioral partitioning for embedded systems. In: Proceedings of the 34th Annual Design Automation Conference, pp. 709\u2013712. ACM (1997)","DOI":"10.1109\/DAC.1997.597236"},{"issue":"1","key":"69_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35\u201377 (1993)","journal-title":"Inf. Comput."},{"issue":"2","key":"69_CR3","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/2668138.2668140","volume":"11","author":"M \u00c5sberg","year":"2014","unstructured":"\u00c5sberg, M., Nolte, T., Kato, S.: Towards partitioned hierarchical real-time scheduling on multi-core processors. ACM SIGBED Rev. 11(2), 13\u201318 (2014)","journal-title":"ACM SIGBED Rev."},{"issue":"8","key":"69_CR4","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/TPDS.2005.88","volume":"16","author":"TP Baker","year":"2005","unstructured":"Baker, T.P.: An analysis of EDF schedulability on amultiprocessor. IEEE Trans. Parallel Distrib. Syst. 16(8), 760\u2013768 (2005). https:\/\/doi.org\/10.1109\/TPDS.2005.88","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"69_CR5","unstructured":"Baker, T.P.: Comparison of empirical success rates of global vs. partitioned fixed-priority and EDF scheduling for hard real time. Citeseer (2005)"},{"key":"69_CR6","unstructured":"Baker, T.P.: A comparison of global and partitioned EDF schedulability tests for multiprocessors. Technical report, in International Conference on Real-Time and Network Systems (2005)"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Baruah, S.: Techniques for multiprocessor global schedulability analysis. In: 28th IEEE International Real-Time Systems Symposium, RTSS 2007, pp. 119\u2013128. IEEE (2007)","DOI":"10.1109\/RTSS.2007.35"},{"issue":"5","key":"69_CR8","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/j.sysarc.2010.09.004","volume":"57","author":"M Bertogna","year":"2011","unstructured":"Bertogna, M., Baruah, S.: Tests for global EDF schedulability analysis. J. Syst. Architect. 57(5), 487\u2013497 (2011)","journal-title":"J. Syst. Architect."},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Bertozzi, S., Acquaviva, A., Bertozzi, D., Poggiali, A.: Supporting task migration in multi-processor systems-on-chip: a feasibility study. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, European Design and Automation Association, pp. 15\u201320 (2006)","DOI":"10.1109\/DATE.2006.243952"},{"issue":"12","key":"69_CR10","doi-asserted-by":"crossref","first-page":"1429","DOI":"10.1109\/12.477248","volume":"44","author":"A Burchard","year":"1995","unstructured":"Burchard, A., Liebeherr, J., Oh, Y., Son, S.H.: New strategies for assigning real-time tasks to multiprocessor systems. IEEE Trans. Comput. 44(12), 1429\u20131442 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"69_CR11","unstructured":"Chehida, K.B.: M\u00e9thodologie de partitionnement logiciel\/mat\u00e9riel pour plateformes reconfigurables dynamiquement. Ph.D. thesis, Universit\u00e9 Nice Sophia Antipolis (2004)"},{"key":"69_CR12","unstructured":"Ch\u00e9ramy, M., D\u00e9planche, A.M., Hladik, P.E.: Ordonnancement temps r\u00e9el: des politiques monoprocesseurs aux politiques multiprocesseurs. HALUNIV-NANTESFR (2012)"},{"issue":"7\u20138","key":"69_CR13","first-page":"613","volume":"48","author":"M Ch\u00e9ramy","year":"2015","unstructured":"Ch\u00e9ramy, M., Hladik, P.E., D\u00e9planche, A.M.: Algorithmes pour lordonnancement temps r\u00e9el multiprocesseur. J. Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (JESA) 48(7\u20138), 613\u2013639 (2015)","journal-title":"J. Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (JESA)"},{"issue":"4","key":"69_CR14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"69_CR15","unstructured":"De Rauglaudre, D.: V\u00e9rification formelle de conditions d\u2019ordonnancabilit\u00e9 de t\u00e2ches temps r\u00e9el p\u00e9riodiques strictes. In: JFLA-Journ\u00e9es Francophones des Langages Applicatifs-2012 (2012)"},{"key":"69_CR16","unstructured":"Dorin, F., Yomsi, P.M., Goossens, J., Richard, P.: Semi-partitioned hard real-time scheduling with restricted migrations upon identical multiprocessor platforms. arXiv preprint arXiv:10062637 (2010)"},{"key":"69_CR17","unstructured":"Funk, S., Baruah, S.: Restricting EDF migration on uniform multiprocessors. In: Proceedings of the 12th International Conference on Real-Time Systems (2004)"},{"key":"69_CR18","volume-title":"Genetic Algorithms and Engineering Optimization","author":"M Gen","year":"2000","unstructured":"Gen, M., Cheng, R.: Genetic Algorithms and Engineering Optimization, vol. 7. Wiley, Hoboken (2000)"},{"key":"69_CR19","doi-asserted-by":"crossref","unstructured":"Goossens, J., Richard, P.: Ordonnancement temps r\u00e9el multiprocesseur. In: \u00c9tat de l\u2019art\u2013ETR 2013 (2013)","DOI":"10.51257\/a-v1-s8057"},{"issue":"6","key":"69_CR20","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1007\/s11241-013-9183-3","volume":"49","author":"G Gracioli","year":"2013","unstructured":"Gracioli, G., Fr\u00f6hlich, A.A., Pellizzoni, R., Fischmeister, S.: Implementation and evaluation of global and partitioned scheduling in a real-time OS. Real-Time Syst. 49(6), 669\u2013714 (2013)","journal-title":"Real-Time Syst."},{"key":"69_CR21","unstructured":"Houbad, Y., Souier, M., Hassam, A., Sari, Z.: Ordonnancement en temps r\u00e9el dun jobshop par m\u00e9taheuristique hybride: \u00e9tude comparative. dspaceuniv-tlemcendz (2011)"},{"issue":"3","key":"69_CR22","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/S0022-0000(74)80026-7","volume":"8","author":"DS Johnson","year":"1974","unstructured":"Johnson, D.S.: Fast algorithms for bin packing. J. Comput. Syst. Sci. 8(3), 272\u2013314 (1974)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"69_CR23","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1007\/s11227-014-1127-8","volume":"68","author":"W Karamti","year":"2014","unstructured":"Karamti, W., Mahfoudhi, A.: Scheduling analysis based on model checking for multiprocessor real-time systems. J. Supercomput. 68(3), 1604\u20131629 (2014)","journal-title":"J. Supercomput."},{"issue":"4","key":"69_CR24","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1016\/0167-8191(95)00072-0","volume":"22","author":"R Khardon","year":"1996","unstructured":"Khardon, R., Pinter, S.S.: Partitioning and scheduling to counteract overhead. Parallel Comput. 22(4), 555\u2013593 (1996)","journal-title":"Parallel Comput."},{"key":"69_CR25","unstructured":"Korf, R.E.: A new algorithm for optimal bin packing. In: AAAI\/IAAI, pp. 731\u2013736 (2002)"},{"issue":"1","key":"69_CR26","doi-asserted-by":"crossref","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)"},{"issue":"2","key":"69_CR27","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1287\/opre.48.2.256.12386","volume":"48","author":"S Martello","year":"2000","unstructured":"Martello, S., Pisinger, D., Vigo, D.: The three-dimensional bin packing problem. Oper. Res. 48(2), 256\u2013267 (2000)","journal-title":"Oper. Res."},{"key":"69_CR28","unstructured":"Ndoye, F.: Ordonnancement temps r\u00e9el pr\u00e9emptif multiprocesseur avec prise en compte du co\u00fbt du syst\u00e8me d\u2019exploitation. Ph.D. thesis, Universit\u00e9 Paris Sud-Paris XI (2014)"},{"key":"69_CR29","doi-asserted-by":"crossref","unstructured":"Niemann, R., Marwedel, P.: Hardware\/software partitioning using integer programming. In: Proceedings of the 1996 European conference on Design and Test, p. 473. IEEE Computer Society (1996)","DOI":"10.1109\/EDTC.1996.494343"},{"issue":"3","key":"69_CR30","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s11241-015-9221-4","volume":"51","author":"M Shekhar","year":"2015","unstructured":"Shekhar, M., Ramaprasad, H., Sarkar, A., Mueller, F.: Architecture aware semi partitioned real-time scheduling on multicore platforms. Real-Time Syst. 51(3), 274\u2013313 (2015)","journal-title":"Real-Time Syst."},{"issue":"8","key":"69_CR31","doi-asserted-by":"crossref","first-page":"2985","DOI":"10.1007\/s11227-015-1423-y","volume":"71","author":"FA Silva","year":"2015","unstructured":"Silva, F.A., Maciel, P., Matos, R.: SmartRank: a smart scheduling tool for mobile cloud computing. J. Supercomput. 71(8), 2985\u20133008 (2015)","journal-title":"J. Supercomput."}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems Design and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-76348-4_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,16]],"date-time":"2022-08-16T13:17:23Z","timestamp":1660655843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-76348-4_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319763477","9783319763484"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-76348-4_69","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}