{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:17:49Z","timestamp":1725567469939},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162558"},{"type":"electronic","value":"9783642162565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16256-5_22","type":"book-chapter","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T08:20:54Z","timestamp":1286266854000},"page":"227-238","source":"Crossref","is-referenced-by-count":6,"title":["Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products"],"prefix":"10.1007","author":[{"given":"Tatsuo","family":"Nakajima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuki","family":"Kinebuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Courbot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiromasa","family":"Shimada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsung-Han","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Mitake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Baumann, A., Barham, P., Dagand, P.-E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Schuepbach, A., Singhania, A.: The Multikernel: A New OS Architecture for Scalable Multicore Systems. In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles (2009)","DOI":"10.1145\/1629575.1629579"},{"issue":"1-3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon System for Dynamic Detection of Likely Invariants. Science of Computer Programming\u00a069(1-3), 35\u201345 (2007)","journal-title":"Science of Computer Programming"},{"issue":"12","key":"22_CR3","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1610252.1610270","volume":"52","author":"A. Fedorova","year":"2009","unstructured":"Fedorova, A., Saez, J.C., Shelepov, D., Prieto, M.: Maximizing Power Efficiency with Asymmetric Multicore Systems. Communication of the ACM\u00a052(12), 48\u201357 (2009)","journal-title":"Communication of the ACM"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Inoue, H., Sakai, J., Edahiro, M.: Processor virtualization for secure mobile terminals. ACM Transaction on Design Automation of Electronic Systems\u00a013(3) (2008)","DOI":"10.1145\/1367045.1367057"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Ishikawa, H., Courbot, A., Nakajima, T.: A Framework for Self-Healing Device Drivers. In: Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 277\u2013286 (2008)","DOI":"10.1109\/SASO.2008.43"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Nakajima, T., Lehdonvirta, V., Tokunaga, E., Kimura, H.: Reflecting Human Behavior to Motivate Desirable Lifestyle. In: Proceedings of the Conference on Designing Interactive Systems, pp. 405\u2013414 (2008)","DOI":"10.1145\/1394445.1394489"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Nakajima, T., Kimura, H., Yamabe, T., Lehdonvirta, V., Takayama, C., Shiraishi, M., Washio, Y.: Using Aesthetic and Empathetic Expressions to Motivate Desirable Lifestyle. In: Proceedings of the Third European Conference on Smart Sensing and Context, pp. 220\u2013234 (2008)","DOI":"10.1007\/978-3-540-88793-5_17"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Ranger, C., Raghuraman, R., Penmetsa, A., Bradski, G., Kozyrakis, C.: Evaluating MapReduce for Multi-core and Multiprocessor Systems. In: Proceedings of the 13th Intl. Symposium on (2007)","DOI":"10.1109\/HPCA.2007.346181"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Shimada, H., Courbot, A., Kinebuchi, Y., Nakajima, T.: A Lightweight Monitoring Service for Multi-Core Embedded Systems. In: Proceedings of the 13th IEEE Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (2010)","DOI":"10.1109\/ISORC.2010.12"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Yamabe, T., Lehdonvirta, V., Ito, H., Soma, H., Kimura, H., Nakajima, T.: Applying Pervasive Technologies to Create Economic Incentives that Alter Consumer Behavior. In: Proceedings of the 11th International Conference on Ubiquitous Computing, pp. 175\u2013184 (2009)","DOI":"10.1145\/1620545.1620573"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Armand, F., Gien, M.: A Practical Look at Micro-Kernels and Virtual Machine Monitors. In: Proceedings of the IEEE 6th Consumer Communications and Networking Conference 2009, pp. 1\u20137 (2009)","DOI":"10.1109\/CCNC.2009.4784874"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Kawsar, F., Nakajima, T., Fujinami, K.: Deploy Spontaneously: Supporting End-Users in Building and Enhancing a Smart Home. In: Proceedings of the 10th International Conference on Ubiquitous Computing, pp. 282\u2013291 (2008)","DOI":"10.1145\/1409635.1409673"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16256-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:25:22Z","timestamp":1619771122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16256-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162558","9783642162565"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16256-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}