Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
231	L4/Darwin: Evolving UNIX Geoffrey Lee and Charles Gray National ICT Australia, Sydney, Australia Abstract the full Linux kernel tree currently contains millions of Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:13 Mac OS X Mach Monolithic kernels XNU Microkernel Operating system kernels L4 microkernel family Darwin Kernel Computer architecture System software Software
232	THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF COMPUTER SCIENCE AND ENGINEERING I/O Kit Drivers for L4 Geoffrey Lee Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2005-11-12 03:06:26 L4 microkernel family XNU Gernot Heiser Microkernel Darwin Kernel I/O Kit Device driver Ring Computer architecture Mac OS X Mach
233	The University of New South Wales School of Computer Science and Engineering Virtualising Darwin on L4 Bachelor of Engineering (Computer Engineering) February 20, 2007 Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2008-06-02 03:08:16 Mac OS X Mach L4 microkernel family Gernot Heiser Kernel Darwin Microkernel XNU Virtual machine Computer architecture System software Software
234	Multiple Flows of Control in Migratable Parallel Programs Gengbin Zheng, Orion Sky Lawlor ∗, Laxmikant V. Kal´e Department of Computer Science University of Illinois at Urbana-Champaign [removed], [removed] Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:21:59 Computer architecture Scheduling Kernel Microkernel POSIX Threads Asynchronous I/O Context switch Mach Scheduler activations Computing Concurrent computing Threads
235	High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures Carl van Schaik† and Gernot Heiser†‡§ † Open Kernel Labs Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:47 Computer memory Central processing unit Memory management Concurrent computing Translation lookaside buffer L4 microkernel family CPU cache Page table Gernot Heiser Virtual memory Computing Computer architecture
236	Arrakis: The Operating System is the Control Plane Simon Peter∗ Jialin Li∗ Arvind Krishnamurthy∗ Add to Reading List Source URL: arrakis.cs.washington.edu Language: English - Date: 2014-09-17 18:13:33 Freedesktop.org Virtual machines Monolithic kernels Computer networking Packet Processing Kernel Scheduling Microkernel Device driver Software System software Computing
237	1 Trust in a Principled Filesystem Kevin Walsh and Fred B. Schneider Abstract—Users typically have little reason to trust that systems will protect user data against unauthorized access. A prototype filesystem stack w Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-06-13 22:37:28 Disk file systems File system API Virtual file system Kernel Filesystem in Userspace Linux kernel Microkernel File system Ext2 System software Software Computer architecture
238	University of New South Wales School of Computer Science and Engineering Performance Limits of Darwin on L4 Thesis Part B Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2008-06-03 01:23:50 L4 microkernel family Microkernel Gernot Heiser Kernel XNU Darwin Inter-process communication Thread Trusted computing base Computer architecture Mac OS X Mach
239	Proceedings of the 16th Symposium on Operating Systems Principles (SOSP), October, [removed]Application Performance and Flexibility on Exokernel Systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, H´ector M. B Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2002-05-08 17:37:16 Operating system kernels Disk file systems Exokernel Embedded operating systems Kernel Memory management Microkernel Operating system Monolithic kernel Computer architecture System software Computing
240	The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels Michael von Tessin NICTA∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 02:17:07 L4 microkernel family Microkernel Thread Kernel Isabelle Formal verification Linux kernel Memory barrier Mach Computer architecture Computing Concurrent computing

UPDATE