{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:57:52Z","timestamp":1725731872419},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_21","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T14:39:00Z","timestamp":1371134340000},"page":"228-237","source":"Crossref","is-referenced-by-count":1,"title":["On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Groesbrink","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Baker, T., Shaw, A.: The cyclic executive model and ada. Real-Time Systems (1989)","DOI":"10.1007\/BF02341919"},{"key":"21_CR2","unstructured":"Baruah, S.: Task partitioning upon heterogeneous multiprocessor platforms. In: Real-Time and Embedded Technology and Applications Symposium (2004)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Baruah, S., Li, H., Stougie, L.: Towards the design of certifiable mixed-criticality systems. In: Real-Time and Embedded Technology and Applications Symposium (2010)","DOI":"10.1109\/RTAS.2010.10"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/TII.2011.2123902","volume":"7","author":"G. Buttazzo","year":"2011","unstructured":"Buttazzo, G., Bini, E., Wu, Y.: Partitioning real-time applications over multi-core reservations. IEEE Transactions on Industrial Informatics\u00a07, 302\u2013315 (2011)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"21_CR5","unstructured":"Carpenter, J., et al.: A categorization of real-time multiprocessor scheduling problems and algorithms. In: Handbook on Scheduling Algorithms, Methods, and Models (2004)"},{"key":"21_CR6","unstructured":"Coffman, E., Garey, M., Johnson, D.: Approximation algorithms for bin packing: a survey. In: Approximation Algorithms for NP-hard Problems, pp. 46\u201393 (1996)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Surveys (2010)","DOI":"10.1145\/1978802.1978814"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"de Niz, D., et al.: On the scheduling of mixed-criticality real-time task sets. In: Real-Time Systems Symposium (2009)","DOI":"10.1109\/RTSS.2009.46"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Easwaran, A., et al.: A compositional scheduling framework for digital avionics systems. In: Real-Time Computing Systems and Applications (2009)","DOI":"10.1109\/RTCSA.2009.46"},{"key":"21_CR10","volume-title":"Computers and Intractability","author":"M. Garey","year":"1979","unstructured":"Garey, M., Johnson, D.: Computers and Intractability. W.H. Freman, New York (1979)"},{"key":"21_CR11","unstructured":"Intel Corporation (White paper): Applying multi-core and virtualization to industrial and safety-related applications (2009), http:\/\/download.intel.com\/platforms\/applied\/indpc\/321410.pdf"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Kelly, O., Aydin, H., Zhao, B.: On partitioned scheduling of fixed-priority mixed-criticality task sets. In: IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (2011)","DOI":"10.1109\/TrustCom.2011.144"},{"key":"21_CR13","unstructured":"Kerstan, T., Baldin, D., Groesbrink, S.: Full virtualization of real-time systems by temporal partitioning. In: Workshop on Operating Systems Platforms for Embedded Real-Time Applications (2010)"},{"issue":"3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/1910129","volume":"28","author":"A.H. Land","year":"1960","unstructured":"Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica\u00a028(3), 497\u2013520 (1960)","journal-title":"Econometrica"},{"key":"21_CR15","unstructured":"Lipari, G., Bini, E.: Resource partitioning among real-time applications. In: Euromicro Conference on Real-Time Systems (2003)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (1973)","DOI":"10.1145\/321738.321743"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Lopez, J., Garcia, M., Diaz, J., Garcia, D.: Utilization bounds for multiprocessor rate-monotonic systems. Real-Time Systems (2003)","DOI":"10.1109\/TPDS.2004.25"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Mercer, C., et al.: Processor capacity reserves: Operating system support for multimedia applications. In: Multimedia Computing and Systems (1994)","DOI":"10.1109\/MMCS.1994.292439"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45828-X_14","volume-title":"Embedded Software","author":"A. Mok","year":"2002","unstructured":"Mok, A., Feng, A.: Real-time virtual resource: A timely abstraction for embedded systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 182\u2013196. Springer, Heidelberg (2002)"},{"key":"21_CR20","unstructured":"Mok, A., Feng, X., Chen, D.: Resource partition for real-time systems. In: Real-Time Technology and Applications Symposium (2001)"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Mollison, M., et al.: Mixed-criticality real-time scheduling for multicore systems. In: International Conference on Computer and Information Technology (2010)","DOI":"10.1109\/CIT.2010.320"},{"key":"21_CR22","unstructured":"Peng, D., Shin, K.: Assignment and scheduling communicating periodic tasks in distributed real-time systems. IEEE Transactions on Software Engineering (1997)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework with periodic model. ACM Transactions on Embedded Computing Systems\u00a07 (2008)","DOI":"10.1145\/1347375.1347383"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proc. of the Real-Time Systems Symposium (2007)","DOI":"10.1109\/RTSS.2007.47"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,25]],"date-time":"2022-02-25T02:02:15Z","timestamp":1645754535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_21","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}