Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
321	[removed]Corporate Press Release Add to Reading List Source URL: www.ndt-inc.com Language: English - Date: 2012-01-31 12:11:04 Computing platforms Embedded operating systems QNX Research In Motion Internet protocols Simple Network Management Protocol Embedded system Microkernel Computing Computer architecture Real-time operating systems
322	Capabilities Revisited: A Holistic Approach to Bottom-to-Top Assurance of Trustworthy Systems Peter G. Neumann and Robert N. M. Watson SRI International Computer Science Laboratory and University of Cambridge Computer La Add to Reading List Source URL: www.watson.org Language: English - Date: 2011-02-22 19:36:24 Memory management Real-time operating systems Central processing unit Kernel Ring Multics Operating system Capability-based security Microkernel System software Computer architecture Software
323	A Principled Approach to Operating System Construction in Haskell Thomas Hallgren Add to Reading List Source URL: ogi.altocumulus.org Language: English - Date: 2005-07-10 01:38:48 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
324	Improving Host Security with System Call Policies Niels Provos Center for Information Technology Integration Add to Reading List Source URL: www.citi.umich.edu Language: English - Date: 2003-08-09 19:06:41 Systrace Computer security Unix Kernel System call Operating system Principle of least privilege Microkernel Chroot System software Software Computer architecture
325	Appendix B THE MACH Add to Reading List Source URL: www.wiley.com Language: English - Date: 2001-06-27 12:48:07 Carnegie Mellon University Mach Thread Kernel Microkernel Inter-process communication Operating system Critical section Berkeley Software Distribution Computer architecture Computing Concurrency control
326	To be published in Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, 2004 Reducing TCB size by using untrusted components — Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2004-08-02 05:13:46 Trusted computing Microkernel Security Trusted computing base Kernel Trusted path L4 microkernel family Next-Generation Secure Computing Base Ring Computer security Computer architecture System software
327	Linux: a Portable Operating System Linus Torvalds Add to Reading List Source URL: mirror.linux.org.au Language: English - Date: 2011-02-13 16:57:38 Cross-platform software Application programming interfaces Linux Hardware abstraction Virtual machine Operating system Kernel L4 microkernel family System call Software System software Computing
328	From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone and Gernot Heiser Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 L4 microkernel family Microkernel Gernot Heiser Kernel Monolithic kernels EROS Open Kernel Labs Capability-based security Architecture of Windows NT Computer architecture System software Software
329	Can We Make Operating Systems Reliable and Secure? Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2007-03-16 20:15:33 Computing platforms Monolithic kernels MINIX 3 Kernel Microkernel Operating system L4 microkernel family MINIX Linux kernel Computer architecture Computing System software
330	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

UPDATE