L4 - PDFSEARCH.IO - Document Search Engine

L4
Results: 658

#	Item
651	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
652	PDF Document Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-08-05 10:48:36 Theoretical computer science Concurrent computing Formal methods L4 microkernel family Formal verification Microkernel Isabelle Trusted computing base Kernel Computer architecture Computing Software
653	PDF Document Add to Reading List Source URL: os.ibds.kit.edu Language: English - Date: 2011-02-08 05:11:49 Jochen Liedtke Kernel Microkernel Monolithic kernels Operating system Ring Unix Linux kernel Operating system kernels Computer architecture Eumel L4 microkernel family
654	PDF Document Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-09-26 08:17:23 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
655	PDF Document Add to Reading List Source URL: affiliates.cumulusmedianetworks.com - Date: 2011-10-17 11:40:36 85 Io Solar System L4 microkernel family Io Planetary science Main Belt asteroids Astronomy
656	PDF Document Add to Reading List Source URL: benno.id.au Language: English - Date: 2005-05-12 00:30:52 Booting L4 microkernel family Build automation Compiling tools Linux SCons Linux kernel Kernel Operating system Software Computer architecture Computing
657	PDF Document Add to Reading List Source URL: dslab.lzu.edu.cn Language: English - Date: 2006-12-18 05:32:16 Ubuntu KDE L4 microkernel family Slackware Debian GNU GRUB Linux distribution Advanced Packaging Tool Software Computer architecture Free software
658	PDF Document Add to Reading List Source URL: l4ka.org Language: English Microkernel Thread Kernel Mach X86-64 Cell Linux kernel Architecture of Windows NT 64-bit Computer architecture L4 microkernel family Monolithic kernels

UPDATE