{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:22Z","timestamp":1772163922190,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,27]]},"DOI":"10.1145\/1067445.1067462","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"49-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["The Kaya OS project and the\n                    <i>\u03bc<\/i>\n                    MPS hardware emulator"],"prefix":"10.1145","author":[{"given":"Michael","family":"Goldweber","sequence":"first","affiliation":[{"name":"Xavier University"}]},{"given":"Renzo","family":"Davoli","sequence":"additional","affiliation":[{"name":"Universit\u00e1 di Bologna"}]},{"given":"Mauro","family":"Morsiani","sequence":"additional","affiliation":[{"name":"CINECA Interuniversity Consortium"}]}],"member":"320","published-online":{"date-parts":[[2005,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Documentation for the CHIP computer system","author":"Babaoglu O.","year":"1988","unstructured":"O. Babaoglu , M. Bussan , R. Drummond , and F. Schneider . Documentation for the CHIP computer system , 1988 .]] O. Babaoglu, M. Bussan, R. Drummond, and F. Schneider. Documentation for the CHIP computer system, 1988.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"The HOCA operating system specifications","author":"Babaoglu O.","year":"1990","unstructured":"O. Babaoglu and F. Schneider . The HOCA operating system specifications , 1990 .]] O. Babaoglu and F. Schneider. The HOCA operating system specifications, 1990.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"USENIX","author":"Christopher W. A.","year":"1993","unstructured":"W. A. Christopher , S. J. Procter , and T. E. Anderson . The nachos instructional operating system . In USENIX Winter 1993 Conference Proceedings , 1993.]] W. A. Christopher, S. J. Procter, and T. E. Anderson. The nachos instructional operating system. In USENIX Winter 1993 Conference Proceedings, 1993.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRIDNT.2005.38"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the SCS International Conference on Simulation and Multimedia in Engineering Education","author":"Davoli R.","year":"2003","unstructured":"R. Davoli and M. Goldweber . New directions in operating systems courses using hardware simulators . In Proceedings of the SCS International Conference on Simulation and Multimedia in Engineering Education , 2003 .]] R. Davoli and M. Goldweber. New directions in operating systems courses using hardware simulators. In Proceedings of the SCS International Conference on Simulation and Multimedia in Engineering Education, 2003.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/363095.363143"},{"key":"e_1_3_2_1_7_1","unstructured":"B. Gaeke. The vmips project. http\/\/www.dgate.org\/vmips.]]  B. Gaeke. The vmips project. http\/\/www.dgate.org\/vmips.]]"},{"key":"e_1_3_2_1_8_1","unstructured":"G.Frankhauser C. Conrad E. Zitler and B. Plattner. Topsy - a teachable operating system. http:\/\/www.tik.ee.ethz.ch\/ topsy.]]  G.Frankhauser C. Conrad E. Zitler and B. Plattner. Topsy - a teachable operating system. http:\/\/www.tik.ee.ethz.ch\/ topsy.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/563340.563383"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971411"},{"key":"e_1_3_2_1_11_1","volume-title":"Computing curricula 2001: Computer science - final report","author":"Joint IEEE Computer Society\/ACM Task Force on Computing Curricula.","year":"2001","unstructured":"Joint IEEE Computer Society\/ACM Task Force on Computing Curricula. Computing curricula 2001: Computer science - final report , 2001 .]] Joint IEEE Computer Society\/ACM Task Force on Computing Curricula. Computing curricula 2001: Computer science - final report, 2001.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"OSP An Environment for Operating System Projects","author":"Kifer M.","year":"1991","unstructured":"M. Kifer and S. Smolka . OSP An Environment for Operating System Projects . Addison-Wesley , 1991 .]] M. Kifer and S. Smolka. OSP An Environment for Operating System Projects. Addison-Wesley, 1991.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"OSP An Environment for Operating System Projects: Instructor's Manual","author":"Kifer M.","year":"1991","unstructured":"M. Kifer and S. Smolka . OSP An Environment for Operating System Projects: Instructor's Manual . Addison-Wesley , 1991 .]] M. Kifer and S. Smolka. OSP An Environment for Operating System Projects: Instructor's Manual. Addison-Wesley, 1991.]]"},{"key":"e_1_3_2_1_14_1","unstructured":"M. Kifer and S. Smolkaka. OSP 2. http:\/\/www.lmc.cs.sunysb.edu:8180\/osp2\/index.jsp.]]  M. Kifer and S. Smolkaka. OSP 2. http:\/\/www.lmc.cs.sunysb.edu:8180\/osp2\/index.jsp.]]"},{"key":"e_1_3_2_1_15_1","unstructured":"M. Morsiani. AMIKE resource page. http:\/\/www.cs.unibo.it\/~morsiani\/amike.html.]]  M. Morsiani. AMIKE resource page. http:\/\/www.cs.unibo.it\/~morsiani\/amike.html.]]"},{"key":"e_1_3_2_1_16_1","unstructured":"M. Morsiani. ICARO.S resource page. http:\/\/www.cs.unibo.it\/~morsiani\/icaros.html.]]  M. Morsiani. ICARO.S resource page. http:\/\/www.cs.unibo.it\/~morsiani\/icaros.html.]]"},{"key":"e_1_3_2_1_17_1","unstructured":"M. Morsiani. MPS resource page. http:\/\/MPS.sourceforge.net.]]  M. Morsiani. MPS resource page. http:\/\/MPS.sourceforge.net.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/299649.299683"},{"key":"e_1_3_2_1_19_1","volume-title":"Operating Systems: A Modern Perspective","author":"Nutt G.","year":"2004","unstructured":"G. Nutt . Operating Systems: A Modern Perspective . Addison Wesley , 3 rd edition, 2004 .]] G. Nutt. Operating Systems: A Modern Perspective. Addison Wesley, 3rd edition, 2004.]]","edition":"3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/88.473612"},{"key":"e_1_3_2_1_21_1","volume-title":"Operating System Concepts","author":"Silberschatz A.","year":"2001","unstructured":"A. Silberschatz , P. Galvin , and G. Gagne . Operating System Concepts . Wiley , 6 th edition, 2001 .]] A. Silberschatz, P. Galvin, and G. Gagne. Operating System Concepts. Wiley, 6th edition, 2001.]]","edition":"6"},{"key":"e_1_3_2_1_22_1","volume-title":"Prentice Hall","author":"Tanenbaum A.","year":"2001","unstructured":"A. Tanenbaum . Modern Operating Systems . Prentice Hall , 2 nd edition, 2001 .]] A. Tanenbaum. Modern Operating Systems. Prentice Hall, 2nd edition, 2001.]]","edition":"2"},{"key":"e_1_3_2_1_23_1","volume-title":"Operating Systems: Design and Implementation Prentice Hall","author":"Tanenbaum A.","year":"1997","unstructured":"A. Tanenbaum and A. Woodhull . Operating Systems: Design and Implementation Prentice Hall , 2 nd edition, 1997 .]] A. Tanenbaum and A. Woodhull. Operating Systems: Design and Implementation Prentice Hall, 2nd edition, 1997.]]","edition":"2"}],"event":{"name":"ITiCSE05: Innovation and Technology in Computer Science Education","location":"Caparica Portugal","acronym":"ITiCSE05","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1067445.1067462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:12:23Z","timestamp":1693822343000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1067445.1067462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,27]]},"references-count":23,"alternative-id":["10.1145\/1067445.1067462","10.1145\/1067445"],"URL":"https:\/\/doi.org\/10.1145\/1067445.1067462","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1151954.1067462","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,27]]},"assertion":[{"value":"2005-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}