{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T21:25:02Z","timestamp":1730237102647,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10,28]]},"DOI":"10.1109\/iccta43079.2017.9497150","type":"proceedings-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T21:22:47Z","timestamp":1627680167000},"page":"39-49","source":"Crossref","is-referenced-by-count":0,"title":["Turning a Highly Reliable, Self-Repairing \u03bc-Kernel OS into a Multicore-Based OS"],"prefix":"10.1109","author":[{"given":"Hatem A.","family":"EL-Azab","sequence":"first","affiliation":[]},{"given":"Moheb R.","family":"Girgis","sequence":"additional","affiliation":[]},{"given":"Essameldin F.","family":"Elfakharany","sequence":"additional","affiliation":[]},{"given":"Mohamed Elemam","family":"Shehab","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/52.199738"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270357"},{"key":"ref31","first-page":"76","article-title":"The Systematic Improvement of Fault Tolerance in the Rio File Cache","author":"ng","year":"1999","journal-title":"Proceedings Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (FTCS)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/spe.772"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1047915.1047919"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"journal-title":"Operating Systems Design and Implementation","year":"2006","author":"tanenbaum","key":"ref12"},{"journal-title":"Towards a True Microkernel Operating System","year":"2005","author":"herder","key":"ref13"},{"journal-title":"A lightweight method for building reliable operating systems despite unreliable devices drivers","year":"2006","author":"herder","key":"ref14"},{"journal-title":"The Design and Implementation of a Fully-Modular Self-Healing UNIX-Like Operating System","year":"2006","author":"herder","key":"ref15"},{"key":"ref16","first-page":"74","article-title":"The Architecture of a Reliable Operating System","author":"herder","year":"2006","journal-title":"Proceedings of the twelfth annual conference of the Advanced School for Computing and Imaging (ASCI)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.7"},{"key":"ref19","first-page":"44","volume":"39","author":"tanenbaum","year":"2006","journal-title":"Can we make operating systems reliable and secure"},{"journal-title":"Protecting Commodity Operating Systems through Strong Kernel Isolation","year":"2015","author":"kemerlis","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810481"},{"journal-title":"The Barrelfish Operating System","year":"2016","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.81"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/566180.566181"},{"journal-title":"4G\/4G split on x86 64 GB RAM (and more) support","year":"2003","author":"molnar","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807132"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007524"},{"key":"ref2","first-page":"23:1","article-title":"An empirical study of high availability in stream processing systems","author":"gu","year":"2009","journal-title":"Proceedings of the 10th ACM\/IFIP\/USENIX International Conference on Middleware"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2012.23"},{"journal-title":"The QNX Neutrino Microkernel","year":"2016","key":"ref20"},{"journal-title":"Vxworks","year":"2016","key":"ref22"},{"key":"ref21","first-page":"113","article-title":"An Architectural Overview of QNX","author":"hildebrand","year":"1992","journal-title":"Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures"},{"journal-title":"Multiprocessor Support for the Fiasco Microkernel","year":"2006","author":"schneider","key":"ref24"},{"journal-title":"Scalability of Microkernel-Based Systems","year":"2005","author":"uhlig","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"ref25","first-page":"1","article-title":"Your computer is already a distributed system. Why isn’t your OS?","author":"baumann","year":"2009","journal-title":"Proceedings of the 12th Conference on Hot Topics in Operating Systems"}],"event":{"name":"2017 27th International Conference on Computer Theory and Applications (ICCTA)","start":{"date-parts":[[2017,10,28]]},"location":"Alexandria, Egypt","end":{"date-parts":[[2017,10,30]]}},"container-title":["2017 27th International Conference on Computer Theory and Applications (ICCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9497128\/9497137\/09497150.pdf?arnumber=9497150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:14:30Z","timestamp":1643231670000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9497150\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,28]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/iccta43079.2017.9497150","relation":{},"subject":[],"published":{"date-parts":[[2017,10,28]]}}}