Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
41	On Architecture Transparency in Operating Systems Danilo Beuche, Ant^onio Augusto Frohlichy, Reinhard Meyer, Holger Papajewski, Friedrich Schony, Wolfgang Schroder-Preikschat, Olaf Spinczyk, Ute Spinczyk University o Add to Reading List Source URL: fusion.cs.uni-magdeburg.de Language: English - Date: 2002-10-04 04:13:02 Embedded operating systems Real-time operating systems Kernel Operating system L4 microkernel family Microkernel Embedded system Scheduling QNX Computer architecture Computing System software
42	Programming the Xen Cloud using OCaml David Scott, Anil Madhavapeddy and Richard Mortier The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtua Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:40 Virtual machines University of Cambridge Computer Laboratory Xen OCaml Camlp4 Hypervisor Hyper-V Microkernel Extended Copy Protection System software Software Computing
43	L4Cars Kevin Elphinstone Gernot Heiser Ralf Huuck Stefan M. Petters Sergio Ruocco Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-09-27 01:23:05 L4 microkernel family Microkernel Embedded operating systems Kernel Gernot Heiser Trusted computing base Mach EROS Ring Computer architecture Computing Real-time operating systems
44	Faculty of Computer Science / Institute of Systems Architecture / Operating Systems Less is More A Secure Microkernel-based OS Adam Lackorzynski, Alexander Warg Add to Reading List Source URL: www.syssec-project.eu Language: English - Date: 2011-07-25 05:31:01 Microkernel Kernel Mach Operating system Sandbox Ring Mac OS X Virtual machines L4 microkernel family Computer architecture System software Software
45	Exokernel: An Operating System Architecture for Application-Level Resource Management Dawson R. Engler, M. Frans Kaashoek, and James O’Toole Jr. M.I.T. Laboratory for Computer Science Cambridge, MA 02139, U.S.A engler, Add to Reading List Source URL: www.news.cs.nyu.edu Language: English - Date: 2008-08-24 08:10:27 Operating system kernels Exokernel Central processing unit Kernel Virtual machine Microkernel System call Ring Operating system Computer architecture System software Computing
46	LP49: Embedded system OS based on L4 and Plan 9 Yoshihide Sato 12 Katsumi Maruyama 1 {satoh-yoshihide, maruyama}@nii.ac.jp 1 : National Institute of InformaticsHitotsubashi, Chiyoda-ku, Tokyo, Japan Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 11:33:12 Computing platforms Microkernel Monolithic kernels Kernel QNX Thread Ring Embedded system Linux kernel Computer architecture Computing L4 microkernel family
47	To be published in Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, 2004 Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors Michael Hohmuth Add to Reading List Source URL: www.eros-os.org Language: English - Date: 2005-10-18 08:59:18 Trusted computing Microkernel Security Trusted computing base Kernel Trusted path L4 microkernel family Next-Generation Secure Computing Base Ring Computer security Computer architecture System software
48	Report on the Workshop on Micro-kernels and Other Kernel Architectures Seattle, WA, April 27−28, 1992 Peter S. Langston <> The first Usenix ‘‘Workshop on Micro-kernels and Other Kernel Architectures Add to Reading List Source URL: www.langston.com Language: English - Date: 2005-01-27 07:20:54 Monolithic kernels Kernel Microkernel Mach Linux kernel Operating system kernels Operating system Unix Windows NT Computer architecture System software Computing
49	WI-15 SCHEDULE Monday - Breakfast 7:30 - 9:25 8:00 - 9:25 Add to Reading List Source URL: www.coa.edu Language: English - Date: 2015-01-15 10:37:21 L4 microkernel family Data management Schedule Transaction processing
50	SP-15 SCHEDULE Monday - Breakfast 7:30 - 9:25 8:00 - 9:25 Add to Reading List Source URL: www.coa.edu Language: English - Date: 2015-04-14 11:46:28 L4 microkernel family Data management Schedule Transaction processing

UPDATE