L4 - PDFSEARCH.IO - Document Search Engine

L4
Results: 658

#	Item
631	Towards a Verified, General-Purpose Operating System Kernel† Jonathan Shapiro, Ph.D., Michael Scott Doerrie, Eric Northup, Swaroop Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-01-16 10:10:58 Coyotos EROS Microkernel Capability-based security Kernel L4 microkernel family KeyKOS Persistence Mach Computer architecture Computing Computer security
632	44th Lunar and Planetary Science Conference[removed]pdf Add to Reading List Source URL: www.lpi.usra.edu Language: English - Date: 2013-01-08 12:35:09 Jupiter Trojan L4 Asteroid L5
633	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
634	L4 L3 Add to Reading List Source URL: www.atm.cat Language: Spanish - Date: 2011-04-19 06:01:54
635	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
636	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
637	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
638	Microsoft PowerPoint - L4_f07.ppt Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-09-05 18:57:51 Technology Electronic filter Signal processing filter Vehicle Identification Number
639	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
640	[removed]L4 Geschäftsbericht 2011 Innenseite.pdf Add to Reading List Source URL: www.raibaworld.de Language: German

UPDATE