Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
221	Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:47 Real-time operating systems Computing platforms Embedded operating systems L4 microkernel family Microkernel Monolithic kernels Gernot Heiser Kernel Mach Computer architecture Computing System software
222	FA-14 SCHEDULE Monday - Breakfast 7:30 - 9:25 8:00 - 9:25 Add to Reading List Source URL: coa.edu Language: English - Date: 2014-09-25 11:16:00
223	WI-15 SCHEDULE Monday - Breakfast 7:30 - 9:25 8:00 - 9:25 Add to Reading List Source URL: coa.edu Language: English - Date: 2015-01-15 10:37:21 L4 microkernel family Data management Schedule Transaction processing
224	Tatsuo NakajimaÝ , Midori SugayaÝ , Shuichi OikawaÞ Department of Computer Science, Waseda University Þ Add to Reading List Source URL: dspace.wul.waseda.ac.jp Language: English - Date: 2014-04-28 05:06:26 Kernel ITRON Project Microkernel L4 microkernel family Operating system Mach Linux kernel Computer architecture Real-time operating systems Open standards
225	Processor Capacity Reserves: Operating System Support for Multimedia Applications Clifford W. Mercer, Stefan Savage, and Hideyuki Tokuda School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 1521 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 1999-05-18 14:19:03 Concurrent computing Real-time computing Operations research Planning Scheduling Thread Rate-monotonic scheduling Microkernel Kernel Computing Scheduling algorithms Computer architecture
226	Safe to the Last Instruction: Jean Yang Chris Hawblitzel Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-06-07 21:37:42 Microkernel Kernel Verve Interrupt flag Computer architecture Microsoft Research Microsoft operating systems
227	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
228	Environmental Independence: BSD Kernel TCP/IP in Userspace Antti Kantee Helsinki University of Technology [removed] Abstract Add to Reading List Source URL: 2009.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:41 Unix NetBSD Monolithic kernels Computing platforms Ioctl Thread Microkernel Kernel Internet protocol suite Software Computing System software
229	Nexus: A New Operating System for Trustworthy Computing Alan Shieh Dan Williams Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-11-12 14:33:40 Trusted computing Next-Generation Secure Computing Base Trusted computing base Trusted Platform Module Microkernel Trustworthy computing Kernel Ring Virtual machine Computer security Computing Security
230	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, Fred B. Schneider Cornell University Abstract Device drivers typically execute in superviso Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:18:03 Interrupts Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Interrupt Microkernel Operating system Computer architecture Computer hardware Computing

UPDATE