{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:21Z","timestamp":1725566301632},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_43","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T17:42:15Z","timestamp":1285263735000},"page":"256-267","source":"Crossref","is-referenced-by-count":0,"title":["Toward a Component-Based Embedded Java-Oriented Operating System"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric Dang","family":"Tran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Fassino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Lobry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Pulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Fassino, J.P., Stefani, J.B., Lawall, J., Muller, G.: Think: a software framework for component-based operating system kernels. In: Usenix 2002, Monterey, California, USA (2002)"},{"key":"43_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Rivierre","year":"2003","unstructured":"Rivierre, N., Coupaye, T.: Observing component behaviours with temporal logic. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Havelund, K.: Mechanical verification of a garbage collector. In: 4th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, April 12-16 (1999)","DOI":"10.1007\/BFb0098007"},{"key":"43_CR4","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: Recursive and Dynamic Software Composition with Sharing. In: Seventh International Workshop on Component-Oriented Programming (WCOP 2002)-ECOOP 2002, Malaga, Spain (June 2002)"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Lenglet, R., Coupaye, T., Bruneton, E.: Composing Transformations of Compiled Java programs with Jabyce (2004) (submitted for publication)","DOI":"10.2298\/CSIS0402083L"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Muller, G., Shultz, U.: Harissa: A Hybrid Approach to Java Execution. IEEE Software (March 1999)","DOI":"10.1109\/52.754052"},{"key":"43_CR7","unstructured":"Proebstin, T.A., et al.: Toba: Java for Applications, a Way Ahead of Time (WAT) Compiler. In: COOTS 1997 (1997)"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Golm, M., Klein\u00f6der, J., Bellosa, F.: Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System. In: Eighth IEEE Workshop on Hot Topics in Operating Systems, Elmau, Germany (May 2001)","DOI":"10.1109\/HOTOS.2001.990053"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Back, G., Hsieh, W.C., Lepreau, J.: Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In: Proceedings of the 4th USENIX Symposium on Operating Systems Design & Implementation (October 2000)","DOI":"10.21236\/ADA440101"},{"key":"43_CR10","unstructured":"Savaje OS, http:\/\/www.savaje.com"},{"key":"43_CR11","unstructured":"Jbed, http:\/\/www.esmertec.com\/solutions\/mobile_multimedia\/jbed_cldc\/"},{"key":"43_CR12","unstructured":"Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: Component Composition for Systems Software. In: Proc. of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000) (October 2000)"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC Language: A Holistic Approach to Networked Embedded Systems. In: Proceedings of Programming Language Design and Implementation (PLDI) 2003 (June 2003)","DOI":"10.1145\/781131.781133"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Alpern, B., et al.: Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa, FL, USA, October 14-18 (2001)","DOI":"10.1145\/504282.504291"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"Bollella, Gosling, Brosgol, Dibble, Furr, Hardin, Turnbull: The Real-Time Specification for Java. Addison-Wesley (2000)","DOI":"10.1109\/2.846318"},{"key":"43_CR16","unstructured":"http:\/\/www.stip.org\/"},{"key":"43_CR17","unstructured":"http:\/\/research.sun.com\/people\/mario\/java_benchmarking\/"},{"key":"43_CR18","doi-asserted-by":"crossref","unstructured":"Schultz, U.P., Burgaard, K., Christensen, F.G., Kristensen, J.L.: Compiling Java for Low-End Embedded Systems. In: LCTES 2003, San Diego (June 2003)","DOI":"10.1145\/780732.780739"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:53:22Z","timestamp":1605743602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}