Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
331	Design and Implementation of an Object-Orientated 64-bit Single Address Space Microkernel Add to Reading List Source URL: hpc.doc.ic.ac.uk Language: English - Date: 2011-04-06 03:43:40 Inter-process communication Distributed computing architecture Concurrent computing Windows NT architecture Microkernel Kernel Mach Message passing V Computer architecture Computing System software
332	Reorganizing UNIX for Reliability Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2006-07-04 07:16:00 Computing platforms Process Monolithic kernels Microkernel Kernel Operating system MINIX 3 Linux kernel L4 microkernel family Computer architecture Computing System software
333	The Mach System Add to Reading List Source URL: codex.cs.yale.edu Language: English - Date: 2013-07-28 11:23:43 Concurrency control Concurrent computing Carnegie Mellon University Mach Thread Kernel Critical section Microkernel Spinlock Computer architecture Computing System software
334	Performance Analysis of Various Mechanisms for Inter-process Communication Kwame Wright Add to Reading List Source URL: osnet.cs.binghamton.edu Language: English - Date: 2008-02-18 21:17:16 Computing Unix domain socket Microkernel Mach Unix Kernel Benchmark Transmission Control Protocol Inter-process communication Computer architecture System software Network socket
335	L4 – Virtualization and Beyond Hermann Härtig!," Michael Roitzsch! Adam Lackorzynski" Björn Döbel" Alexander Böttcher! Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2008-12-01 07:12:47 L4 microkernel family Hardware-assisted virtualization Microkernel Hypervisor X86 virtualization Paravirtualization Virtualization Kernel Operating system-level virtualization System software Software Virtual machines
336	latencies_kernelcompile_histogram.eps Add to Reading List Source URL: lwn.net Language: English - Date: 2011-10-31 18:21:43 Virtual machines L4 microkernel family Kernel Microkernel Hypervisor Linux kernel Mach Hardware virtualization Hyper-V System software Software Computer architecture
337	Großer Beleg: “L4Linux on L4Env” Adam Lackorzynski Dresden University of Technology Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2003-03-20 12:18:02 L4 microkernel family Computing platforms Linux Monolithic kernels Kernel Microkernel Mach HAL Operating system Computer architecture Computing Software
338	Dynamic Root of Trust in Trusted Computing Cong Nie Helsinki University of Technology Add to Reading List Source URL: www.tml.tkk.fi Language: English - Date: 2008-01-03 05:01:33 Trusted Execution Technology Trusted computing base Trusted Computer System Evaluation Criteria TCB Microkernel Operating system Secure environment Next-Generation Secure Computing Base Computer security Trusted computing Trusted Platform Module
339	Writing Systems Software in a Functional Language An Experience Report Iavor S. Diatchki Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-07-10 18:37:13 Functional languages Data types Type theory Procedural programming languages Haskell Literate programming L4 microkernel family Yi Foreign function interface Computing Software engineering Computer programming
340	16th ACM Symposium on Operating Systems Principles (SOSP ’97), October 5–8, 1997, Saint-Malo, France Add to Reading List Source URL: www.inso.tuwien.ac.at Language: English - Date: 2010-11-05 11:10:07 L4 microkernel family Computing platforms Kernel Linux kernel Mach MkLinux Thread Linux Operating system Computer architecture Software Computing

UPDATE