Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
101	Fast Component Interaction for Real-Time Systems Udo Steinberg, Jean Wolter, Hermann H¨artig Technische Universit¨at Dresden Department of Computer Science[removed]Dresden, Germany {steinberg, wolter, haertig}@os.inf.tu- Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2006-06-02 11:38:52 Concurrency control Computer programming Operations research Planning Scheduling Thread Microkernel Critical section Kernel Computing Computer architecture Scheduling algorithms
102	Taming Linux Hermann H¨artig, Michael Hohmuth, and Jean Wolter Dresden University of Technology Dept. of Computer Science D[removed]Dresden, Germany [removed] Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2002-01-04 05:39:32 L4 microkernel family Computing platforms Linux Real-time operating systems Kernel Linux kernel Microkernel Operating system Mach Computer architecture Computing Software
103	Debunking Linus’s Latest Jonathan Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science Johns Hopkins University May 11, 2006 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:11:11 EROS Microkernel L4 microkernel family Coyotos Kernel Paravirtualization KeyKOS MINIX CapROS Computer architecture System software Real-time operating systems
104	The EROS System Structure† Working Draft, Currently In Progress Jonathan S. Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:11:22 EROS Operating system kernels Monolithic kernels Microkernel Kernel Capability-based security Object-capability model Coyotos Linux kernel Computer architecture Computer security Real-time operating systems
105	Operating Systems @ UNSW Introduction COMP3231[removed] Add to Reading List Source URL: cgi.cse.unsw.edu.au Language: English - Date: 2015-03-03 15:44:05 Gernot Heiser L4 microkernel family John Lions Open Kernel Labs Berkeley Software Distribution Unix Microkernel Operating system System software Computer architecture Software
106	Ten Years of Research on L4-Based Real-Time Systems Hermann H¨ artig and Michael Roitzsch Department of Computer Science Technische Universit¨at Dresden[removed]Dresden, Germany Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2006-12-04 14:19:34 Real-time operating systems Scheduling algorithms Embedded operating systems Real-time computing Computing platforms L4 microkernel family Scheduling Microkernel QNX Computer architecture Computing System software
107	Design Note: Kernel Interrupt and Concurrency Management† Jonathan S. Shapiro, Ph.D. The EROS Group, LLC March 18, 2006 Abstract Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:22 Interrupts Transaction processing Lock Kernel Spinlock Linearizability Interrupt flag Thread Microkernel Computer architecture Computing Concurrency control
108	An I/O Architecture for Microkernel-Based Operating Systems Hermann H¨artig Jork L¨oser Martin Pohlack Frank Mehnert Lars Reuther Alexander Warg Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2003-08-13 07:25:54 Computing platforms Monolithic kernels Microkernel Kernel Architecture of Windows NT Device driver Operating system Ring Memory-mapped I/O Computer architecture Computing System software
109	Design Note: Target Considerations for Coldfire † Jonathan S. Shapiro, Ph.D. The EROS Group, LLC Dec 1, 2007 Abstract Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:11 Virtual memory Computing Computer memory CPU cache Cache Page table Page Microkernel Kernel Computer architecture Central processing unit Computer hardware
110	Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen Add to Reading List Source URL: srl.cs.jhu.edu Language: English - Date: 2007-09-20 09:41:43 Linux Kernel Microkernel Linux kernel Model checking EROS Thread Architecture of Windows NT Mach Computer architecture Software System software

UPDATE