Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
81	THE-ICE 7th International Panel of Experts Forum 2013 The Blue Mountains International Hotel Management School Sydney Australia 6 – 8 November 2013 ‘The Industry Education Nexus – a global perspective’ Add to Reading List Source URL: the-ice.org Language: English - Date: 2014-05-12 21:28:00 L4 microkernel family Education Hospitality management Blue Mountains International Hotel Management School Hospitality management studies
82	Sierraware Overview Simply Secure Sierraware Software Suite  Add to Reading List Source URL: www.sierraware.com Language: English - Date: 2013-02-27 20:09:46 Hypervisor Hardware virtualization Hyper-V Microkernel Rootkit System software Software Virtual machines
83	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, and Fred B. Schneider {djwill,reynolds,kwalsh,egs,fbs}@cs.cornell.edu May 9, 2008 Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-05-14 11:05:27 Interrupts Linux Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Microkernel Operating system Computer architecture Computing Computer hardware
84	Network performance slide 2 gaius Network performance slide 1 Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2014-09-25 05:18:40 Packet loss Transmission Control Protocol Microkernel Computer architecture Information Network performance Throughput Computing
85	OII Student Induction Programme Michaelmas 2014 Add to Reading List Source URL: www.oii.ox.ac.uk Language: English
86	Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Scheduling algorithms Scheduling Linux Microkernel Kernel Separation kernel Linux kernel Process identifier Architecture of Windows NT Computer architecture System software Software
87	Inside L4/MIPS Anatomy of a High-Performance Microkernel Gernot Heiser Version[removed]syscalls+scheduling) of January 30, [removed]removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2001-03-05 23:47:41 Virtual memory L4 microkernel family Memory management unit Control flow Microkernel Thread Kernel Page Gernot Heiser Computer architecture Computing Central processing unit
88	Noninterference for Operating System Kernels Toby Murray1,2 , Daniel Matichuk1 , Matthew Brassil1 , Peter Gammie1 and Gerwin Klein1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:39 Function Microkernel Calculus State space Linux kernel Computer architecture Mathematics Software
89	AREA PRODUCTS DATA SOURCE D Add to Reading List Source URL: www.myocean.eu Language: English - Date: 2015-04-10 11:38:53 Physical geography Topography Sea surface temperature Planetary science Oceanography L4 microkernel family Earth
90	Running on the Bare Metal with GeekOS David Hovemeyer, Jeffrey K. Hollingsworth, and Bobby Bhattacharjee Dept. of Computer Science, University of Maryland, College Park, MD, 20742 USA {daveho,hollings,bobby}@cs.umd.edu Add to Reading List Source URL: goose.ycp.edu Language: English - Date: 2014-08-22 12:24:22 Linux Kernel Operating system Virtual machine Virtual memory Ring Linux kernel Thread Microkernel System software Computer architecture Software

UPDATE