{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:40:33Z","timestamp":1743097233415,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_6","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"71-81","source":"Crossref","is-referenced-by-count":0,"title":["Tailoring and Optimising Software for Automotive Multicore Systems"],"prefix":"10.1007","author":[{"given":"Torsten","family":"Polle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Uelschen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Das, B., Polle, T., Uelschen, M.: A Note on Software Partitioning for Embedded Homogenous Multicore Systems. In: Informatik 2008, M\u00fcnchen (2008) (accepted as conference submission)"},{"key":"6_CR2","unstructured":"Polle, T., Uelschen, M.: Softwareentwicklung f\u00fcr eingebettete Multi-Core-Systeme iX 3, 124\u2013131 (2008)"},{"key":"6_CR3","unstructured":"Takei, T.: Toyota Works on Own OS for Automotive Terminals. Nikkei Electronics Asia (2006), \n                    \n                      http:\/\/techon.nikkeibp.co.jp\/article\/HONSHI\/20061026\/122752\/"},{"key":"6_CR4","series-title":"LNI","first-page":"526","volume-title":"Informatik 2007","author":"H. Lucke","year":"2007","unstructured":"Lucke, H., Schaper, D., Siepen, P., Uelschen, M., Wollborn, M.: The Innovation Cycle Dilemma. In: Koschke, R., Herzog, O., R\u00f6diger, K., Ronthaler, M. (eds.) Informatik 2007. LNI, vol.\u00a0110, pp. 526\u2013530. Gesellschaft f\u00fcr Informatik, Bonn (2007)"},{"key":"6_CR5","unstructured":"Microsoft Auto 3.0, \n                    \n                      http:\/\/www.mircosoft.com\/windowsautomotive"},{"key":"6_CR6","unstructured":"Kleidermacher, D.: Is symmetric multiprocessing for you? Embedded Systems Design Europe, January-February, 28\u201331 (2008)"},{"key":"6_CR7","first-page":"66","volume":"13","author":"P. Widmann","year":"2008","unstructured":"Widmann, P.: Multi-Core-Systeme sinnvoll nutzen. Elektronik\u00a013, 66\u201369 (2008)","journal-title":"Elektronik"},{"key":"6_CR8","unstructured":"Domeika, M.: Software Development for Embedded Multi-Core Systems: A Practical Guide Using Embedded Intel Architecture. Butterworth Heinemann (2008)"},{"key":"6_CR9","first-page":"38","volume":"4","author":"M. Gondo","year":"2006","unstructured":"Gondo, M.: Blending Asymmetric and Symmetric Multiprocessing with a Single OS on ARM11 MPCore. Information Quarterly\u00a04, 38\u201343 (2006)","journal-title":"Information Quarterly"},{"key":"6_CR10","first-page":"34","volume":"4","author":"P.N. Leroux","year":"2006","unstructured":"Leroux, P.N., Craig, R.: Easing the Transition to Multi-Core Processors. Information Quarterly\u00a04, 34\u201337 (2006)","journal-title":"Information Quarterly"},{"key":"6_CR11","unstructured":"Akhter, S., Roberts, J.: Multi-Core Programming. Intel Press (2006)"},{"key":"6_CR12","volume-title":"Multicore: Parallele Programmierung","author":"T. Rauber","year":"2008","unstructured":"Rauber, T., R\u00fcnger, G.: Multicore: Parallele Programmierung. Springer, Heidelberg (2008)"},{"key":"6_CR13","volume-title":"Design and Analysis of Algorithms","author":"J.D. Smith","year":"1989","unstructured":"Smith, J.D.: Design and Analysis of Algorithms. PWS-KENT Publishing, Boston (1989)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T18:11:43Z","timestamp":1551636703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}