{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T23:10:04Z","timestamp":1745190604896,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346538"},{"type":"electronic","value":"9783642346545"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34654-5_37","type":"book-chapter","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T10:33:06Z","timestamp":1352975586000},"page":"361-370","source":"Crossref","is-referenced-by-count":14,"title":["On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints"],"prefix":"10.1007","author":[{"given":"Bruno Cesar","family":"Ribas","sequence":"first","affiliation":[]},{"given":"Rubens Massayuki","family":"Suguimoto","sequence":"additional","affiliation":[]},{"given":"Razer A. N. R.","family":"Monta\u00f1o","sequence":"additional","affiliation":[]},{"given":"Fabiano","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Luis","family":"de Bona","sequence":"additional","affiliation":[]},{"given":"Marcos A.","family":"Castilho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R.H., Konwinski, A., Lee, G., Patterson, D.A., Rabkin, A., Stoica, I., Zaharia, M.: Above the Clouds: A Berkeley View of Cloud Computing. Tech. rep., EECS Department, University of California, Berkeley (2009)","DOI":"10.1145\/1721654.1721672"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Bossche, R., Vanmechelen, K., Broeckhove, J.: Cost-Optimal Scheduling in Hybrid IaaS Clouds for Deadline Constrained Workloads. In: 3rd IEEE International Conference on Cloud Computing (CLOUD 2010), pp. 228\u2013235. IEEE Computer Society (2010)","DOI":"10.1109\/CLOUD.2010.58"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Corradi, A., Fanelli, M., Foschini, L.: Increasing Cloud Power Efficiency through Consolidation Techniques. In: 2011 IEEE Symposium on Computers and Communications (ISCC 2011), pp. 129\u2013134. IEEE Computer Society (2011)","DOI":"10.1109\/ISCC.2011.5984005"},{"issue":"8","key":"37_CR4","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1016\/j.future.2011.04.016","volume":"27","author":"T.C. Ferreto","year":"2011","unstructured":"Ferreto, T.C., Netto, M.A.S., Calheiros, R.N., De Rose, C.A.F.: Server Consolidation with Migration Control for Virtualized Data Centers. Journal of Future Generation Computer Systems\u00a027(8), 1027\u20131034 (2011)","journal-title":"Journal of Future Generation Computer Systems"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Harmon, R., Auseklis, N.: Sustainable IT Services \u2013 Assessing the Impact of Green Computing Practices. In: 2009 Portland International Conference on Management of Engineering & Technology (PICMET 2009), pp. 1707\u20131717. IEEE Computer Society (2009)","DOI":"10.1109\/PICMET.2009.5261969"},{"key":"37_CR6","unstructured":"Le Berre, D.: SAT4j \u2013 A Reasoning Engine in Java Based on the SATisfiability Problem, http:\/\/www.sat4j.org"},{"issue":"1","key":"37_CR7","first-page":"15","volume":"42","author":"N. Leavitt","year":"2009","unstructured":"Leavitt, N.: Is Cloud Computing Really Ready for Prime Time? Journal of Computer\u00a042(1), 15\u201320 (2009)","journal-title":"Journal of Computer"},{"key":"37_CR8","unstructured":"Li, C.M., Many\u00e0, F.: MaxSAT, Hard and Soft Constraints. In: Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol.\u00a0185, ch. 19, pp. 613\u2013631. IOS Press (2009)"},{"key":"37_CR9","unstructured":"Manquinho, V.: BSOLO \u2013 A Solver for Pseudo-Boolean Constraints, http:\/\/sat.inesc-id.pt\/~vmm\/research\/"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.P., Lynce, I., Malik, S.: Conflict-Driven Clause Learning SAT Solvers. In: Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol.\u00a0185, ch. 4, pp. 131\u2013153. IOS Press (2009)","DOI":"10.3233\/978-1-58603-929-5-131"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Marzolla, M., Babaoglu, O., Panzieri, F.: Server Consolidation in Clouds through Gossiping. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2011), pp. 1\u20136. IEEE Computer Society (June 2011)","DOI":"10.1109\/WoWMoM.2011.5986483"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Mehta, S., Neogi, A.: ReCon: A Tool to Recommend Dynamic Server Consolidation in Multi-cluster Data Centers. In: 2008 IEEE Network Operations and Management Symposium (NOMS 2008), pp. 363\u2013370. IEEE Computer Society (2008)","DOI":"10.1109\/NOMS.2008.4575156"},{"key":"37_CR13","unstructured":"Roussel, O., Manquinho, V.: Pseudo-Boolean and Cardinality Constraints. In: Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol.\u00a0185, ch. 22, pp. 695\u2013733. IOS Press (2009)"},{"issue":"5","key":"37_CR14","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MIC.2009.119","volume":"13","author":"B. Sotomayor","year":"2009","unstructured":"Sotomayor, B., Montero, R.S., Llorente, I.M., Foster, I.: Virtual Infrastructure Management in Private and Hybrid Clouds. IEEE Internet Computing\u00a013(5), 14\u201322 (2009)","journal-title":"IEEE Internet Computing"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Umeno, H., Parayno, C., Teramoto, K., Kawano, M., Inamasu, H., Enoki, S., Kiyama, M., Aoyama, T., Fukunaga, T.: Performance Evaluation on Server Consolidation using Virtual Machines. In: 2006 SICE-ICASE International Joint Conference (SICE-ICCAS 2006), pp. 2730\u20132734. IEEE Computer Society (2006)","DOI":"10.1109\/SICE.2006.315198"},{"issue":"1","key":"37_CR16","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1496091.1496100","volume":"39","author":"L.M. Vaquero","year":"2008","unstructured":"Vaquero, L.M., Rodero-Merino, L., Caceres, J., Lindner, M.: A Break in the Clouds \u2013 Towards a Cloud Definition. Journal of ACM SIGCOMM Computer Communication Review\u00a039(1), 50\u201355 (2008)","journal-title":"Journal of ACM SIGCOMM Computer Communication Review"},{"issue":"1","key":"37_CR17","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/1348583.1348590","volume":"6","author":"W. Vogels","year":"2008","unstructured":"Vogels, W.: Beyond Server Consolidation. Journal of ACM Queue\u00a06(1), 20 (2008)","journal-title":"Journal of ACM Queue"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34654-5_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T22:42:41Z","timestamp":1745188961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34654-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346538","9783642346545"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34654-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}