Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
341	L4Linux Porting Optimizations Adam Lackorzynski Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2004-03-26 13:06:30 L4 microkernel family Microkernel Computing platforms Kernel User-mode Linux Linux kernel Mach Linux Operating system Computer architecture Computing System software
342	Running the Manual: An Approach to High-Assurance Microkernel Development Philip Derrin Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-20 11:59:41 L4 microkernel family Kernel Thread Haskell Ring Linux kernel Mach Isabelle Operating system Computer architecture Computing Microkernel
343	Minix 3 • EVALUACIÓN Minix 3 y la experiencia microkernel Add to Reading List Source URL: www.linux-magazine.es Language: Spanish - Date: 2009-09-18 08:11:11
344	Terra: A Virtual Machine-Based Platform for Trusted Computing Tal Garfinkel Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2003-08-13 12:51:07 Virtual machines Trusted computing Programming language implementation VM Hypervisor Operating system Computing platform Next-Generation Secure Computing Base Microkernel System software Software VMware
345	High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures Carl van Schaik† and Gernot Heiser†‡§ Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:47 Computer memory Central processing unit Memory management Concurrent computing Translation lookaside buffer L4 microkernel family CPU cache Page table Gernot Heiser Virtual memory Computing Computer architecture
346	Martin Děcký 16th June 2006 Add to Reading List Source URL: www.helenos.org Language: English - Date: 2006-06-16 01:57:22 Monolithic kernels HelenOS Thread Kernel Linux kernel Lock Device driver Microkernel XNU Computer architecture Computing System software
347	TOWARDS A TRUE MICROKERNEL OPERATING SYSTEM A revision of MINIX that brings quality Add to Reading List Source URL: www.minix3.org Language: English - Date: 2012-03-01 02:26:29 Computing platforms MINIX 3 MINIX Kernel Andrew S. Tanenbaum Microkernel Ring Linux Operating system Computer architecture Computing System software
348	Digital Rights Management Demonstrator Requirements, Analysis, and Design Add to Reading List Source URL: www.emscb.com Language: English - Date: 2011-05-11 05:57:12 Public key certificate L4 microkernel family Operating system Cryptography Copyright law Digital rights management
349	® An Architectural Overview of QNX Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2009-01-28 19:31:26 Computing platforms Real-time operating systems Special purpose file systems QNX Research In Motion Kernel Microkernel Procfs Device file Computer architecture Computing System software
350	Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer† Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-28 05:59:25 Virtual machines Microkernel Kernel L4 microkernel family Hypervisor Ring Mach Xen EROS System software Computer architecture Software

UPDATE