Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
351	PDF Document Add to Reading List Source URL: www-wjp.cs.uni-saarland.de Language: English - Date: 2012-10-16 07:23:30 Concurrent computing Microkernel Kernel Thread Formal verification Linux kernel Ring Operating system Process management Computer architecture Computing System software
352	PDF Document Add to Reading List Source URL: www.vivekhaldar.com Language: English - Date: 2005-12-09 20:49:49 Computing Cryptography Business law Copyright law Next-Generation Secure Computing Base Trusted Platform Module Trusted system X Window System Microkernel Computer security Trusted computing Software
353	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
354	PDF Document Add to Reading List Source URL: www.minix3.org Language: English - Date: 2012-03-07 05:50:29 Computing platforms Monolithic kernels MINIX 3 Device drivers Kernel Microkernel Linux kernel Operating system kernels MINIX Computer architecture Computing System software
355	PDF Document Add to Reading List Source URL: www.linux-magazine.com Language: English - Date: 2008-12-23 09:19:01 Computing platforms Linux MINIX Microkernel Tanenbaum–Torvalds debate Andrew S. Tanenbaum Kernel Operating Systems: Design and Implementation Ring Computer architecture Computing System software
356	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
357	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
358	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1998-07-22 18:41:44 Component-based software engineering Object-oriented programming Cross-platform software Computing platforms Kernel Component Object Model Microkernel Architecture of Windows NT Thread Computing Software Concurrent computing
359	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
360	PDF Document Add to Reading List Source URL: www.cdk3.net Language: English - Date: 2011-08-23 13:28:31 Amoeba Microkernel Kernel Operating system Unix Distributed operating system Inter-process communication Capability-based security Server Computer architecture Carnegie Mellon University Mach

UPDATE