Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
11	genuletter NrJuni 2016 Weniger ist sicherer Microkernel-Sicherheitslösungen für die Industrie 4.0 Add to Reading List Source URL: www.genua.de Language: German
12	PDF Document Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:42:58 Memory management Instruction set architectures Memory protection Capability-based security Kernel Memory management unit MIPS instruction set Protection ring Microkernel EROS Virtual memory 64-bit computing
13	PDF Document Add to Reading List Source URL: codex.cs.yale.edu Language: English - Date: 2013-07-28 11:23:43 Concurrency control Mach Thread Monitor Microkernel Spinlock Synchronization Kernel SIMPL Operating system Semaphore Mutual exclusion
14	Timing Aware Hardware Virtualization on the L4Re Microkernel System Adam Lackorzynski†,‡ , Alexander Warg† Kernkonzept GmbH† Dresden, Germany Email: , Add to Reading List Source URL: 2016.rtas.org Language: English - Date: 2016-04-20 10:57:17
15	Running the Manual: An Approach to High-Assurance Microkernel Development Philip Derrin Kevin Elphinstone Add to Reading List Source URL: research.davidcock.fastmail.fm Language: English - Date: 2014-11-20 18:55:01
16	Wireless Ad-Hoc Network Emulation Using Microkernel-Based Virtual Linux Systems Michael Engel, Matthew Smith, Sven Hanemann, and Bernd Freisleben Dept. of Mathematics and Computer Science, University of Marburg, Add to Reading List Source URL: www.dcsec.uni-hannover.de Language: English - Date: 2010-11-03 12:17:51
17	Fine-Grained Control-Flow Integrity for Kernel Software Xinyang Ge∗ , Nirupama Talele∗ , Mathias Payer† , and Trent Jaeger∗ ∗ The Pennsylvania State University Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computer architecture Software Computing Operating system kernels Linux kernel Computer security Control-flow integrity Kernel System call Protection ring MINIX 3 Microkernel
18	www.kernkonzept.com Demo: Timing Aware Hardware Virtualization on the L4Re Microkernel System Add to Reading List Source URL: 2016.rtas.org Language: English - Date: 2016-04-20 10:44:44
19	Always in the shadow: the history of Minix-vmd by Philip Homburg <> History 1/3 Add to Reading List Source URL: www.minix3.org Language: English - Date: 2016-03-08 16:28:15 Computer architecture Software System software MINIX 3 Minix-vmd MINIX Andrew S. Tanenbaum Microkernel Vi Ioctl
20	From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales Add to Reading List Source URL: sigops.org Language: English - Date: 2014-02-27 16:46:20 Computer architecture Software Computing L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel L3 microkernel Heiser Kernel Symposium on Operating Systems Principles Mach

UPDATE