{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:45:11Z","timestamp":1778215511821,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,6,11]],"date-time":"2005-06-11T00:00:00Z","timestamp":1118448000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,11]]},"DOI":"10.1145\/1064979.1064986","type":"proceedings-article","created":{"date-parts":[[2005,9,20]],"date-time":"2005-09-20T19:06:22Z","timestamp":1127243182000},"page":"35-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["A programmable microkernel for real-time systems"],"prefix":"10.1145","author":[{"given":"Christoph M.","family":"Kirsch","sequence":"first","affiliation":[{"name":"University of Salzburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco A. A.","family":"Sanvido","sequence":"additional","affiliation":[{"name":"VMWare Inc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"EPFL and UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"93","volume-title":"Proc. USENIX Summer Conference","author":"Accetta M.","year":"1986","unstructured":"M. Accetta , R. Baron , W. Bolosky , D. Golub , R. Rashid , A. Tevanian , and M. Young . Mach: A new kernel foundation for UNIX development . In Proc. USENIX Summer Conference , pages 93 -- 113 , 1986 . M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Proc. USENIX Summer Conference, pages 93--113, 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01940882"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/952532.952668"},{"key":"e_1_3_2_1_5_1","first-page":"469","volume":"2211","author":"Ferdinand C.","year":"2001","unstructured":"C. Ferdinand , R. Heckmann , M. Langenbach , F. Martin , M. Schmidt , H. Theiling , S. Thesing , and R. Wilhelm . Reliable and precise WCET determination for a real-life processor. In Proc. EMSOFT, LNCS 2211 , pages 469 -- 485 . Springer, 2001 . C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In Proc. EMSOFT, LNCS 2211, pages 469--485. Springer, 2001.","journal-title":"In Proc. EMSOFT, LNCS"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/512529.512567","volume-title":"Proc. PLDI","author":"Henzinger T. A.","year":"2002","unstructured":"T. A. Henzinger and C. M. Kirsch . The Embedded Machine: Predictable, portable real-time code . In Proc. PLDI , pages 315 -- 326 . ACM Press , 2002 . 10.1145\/512529.512567 T. A. Henzinger and C. M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proc. PLDI, pages 315--326. ACM Press, 2002. 10.1145\/512529.512567"},{"key":"e_1_3_2_1_10_1","first-page":"76","volume":"2491","author":"Henzinger T. A.","year":"2002","unstructured":"T. A. Henzinger , C. M. Kirsch , R. Majumdar , and S. Matic . Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491 , pages 76 -- 92 . Springer, 2002 . T. A. Henzinger, C. M. Kirsch, R. Majumdar, and S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pages 76--92. Springer, 2002.","journal-title":"Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS"},{"key":"e_1_3_2_1_11_1","first-page":"241","volume":"2855","author":"Henzinger T. A.","year":"2003","unstructured":"T. A. Henzinger , C. M. Kirsch , and S. Matic . Schedule-carrying code. In Proc. EMSOFT, LNCS 2855 , pages 241 -- 256 . Springer, 2003 . T. A. Henzinger, C. M. Kirsch, and S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pages 241--256. Springer, 2003.","journal-title":"Schedule-carrying code. In Proc. EMSOFT, LNCS"},{"key":"e_1_3_2_1_12_1","first-page":"129","volume-title":"Proc. RTSS","author":"Jeffay K.","year":"1991","unstructured":"K. Jeffay , D.F. Stanat , and C.U. Martel . On non-preemptive scheduling of periodic and sporadic tasks . In Proc. RTSS , pages 129 -- 139 . IEEE Computer Society Press , 1991 . K. Jeffay, D.F. Stanat, and C.U. Martel. On non-preemptive scheduling of periodic and sporadic tasks. In Proc. RTSS, pages 129--139. IEEE Computer Society Press, 1991."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.931893"},{"key":"e_1_3_2_1_14_1","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"1997","unstructured":"H. Kopetz . Real-Time Systems: Design Principles for Distributed Embedded Applications . Kluwer , 1997 . H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605407"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/234215.234473"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. MMCN","author":"Rajkumar R.","year":"1998","unstructured":"R. Rajkumar , K. Juvva , A. Molano , and S. Oikawa . Resource kernels: A resource-centric approach to real-time systems . In Proc. MMCN , 1998 . R. Rajkumar, K. Juvva, A. Molano, and S. Oikawa. Resource kernels: A resource-centric approach to real-time systems. In Proc. MMCN, 1998."},{"key":"e_1_3_2_1_19_1","first-page":"73","volume-title":"Proc. USENIX Mach Workshop","author":"Tokuda H.","year":"1990","unstructured":"H. Tokuda , T. Nakajima , and P. Rao . Real-time Mach: Towards a predictable real-time system . In Proc. USENIX Mach Workshop , pages 73 -- 82 , 1990 . H. Tokuda, T. Nakajima, and P. Rao. Real-time Mach: Towards a predictable real-time system. In Proc. USENIX Mach Workshop, pages 73--82, 1990."},{"key":"e_1_3_2_1_20_1","volume-title":"Project Oberon - The Design of an Operating System and Compiler","author":"Wirth N.","year":"1992","unstructured":"N. Wirth and J. Gutknecht . Project Oberon - The Design of an Operating System and Compiler . ACM Press , 1992 . N. Wirth and J. Gutknecht. Project Oberon - The Design of an Operating System and Compiler. ACM Press, 1992."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319170"}],"event":{"name":"VEE05: First International Conference on Virtual Execution Environments","location":"Chicago IL USA","acronym":"VEE05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 1st ACM\/USENIX international conference on Virtual execution environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1064979.1064986","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1064979.1064986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:40Z","timestamp":1750262860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1064979.1064986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,11]]},"references-count":20,"alternative-id":["10.1145\/1064979.1064986","10.1145\/1064979"],"URL":"https:\/\/doi.org\/10.1145\/1064979.1064986","relation":{},"subject":[],"published":{"date-parts":[[2005,6,11]]},"assertion":[{"value":"2005-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}