Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
311	L4, Wombat, Skyeye and PLEB Ben Leslie Add to Reading List Source URL: benno.id.au Language: English - Date: 2006-01-23 15:13:54 Microkernel Kernel NICTA L4 Gernot Heiser IGUANA Computing Computer architecture L4 microkernel family Trusted computing base
312	Fauna spotting in the DiSy menagerie A guide to software projects in DiSy Ben Leslie Add to Reading List Source URL: benno.id.au Language: English - Date: 2005-05-12 00:30:52 L4 microkernel family SAS IDL Linux Kernel IGUANA Computing Computing Software Computer architecture
313	10 Years L4-Based Systems L4/Nizza Secure-System Architecture TU Dresden Operating Add to Reading List Source URL: www.sevecom.org Language: English - Date: 2006-09-11 03:36:46 Kernel Mach IBM Workplace OS Trusted computing base Operating system Ring Operating system kernels Gernot Heiser TUD:OS Computer architecture L4 microkernel family Microkernel
314	Microkernels Meet Recursive Virtual Machines Bryan Ford Mike Hibler Jay Lepreau Patrick Tullmann Godmar Back Stephen Clawson Department of Computer Science, University of Utah Salt Lake City, UT[removed]removed] Add to Reading List Source URL: www.brynosaurus.com Language: English - Date: 2010-09-29 09:18:52 Monolithic kernels Virtual machines Kernel Microkernel L4 microkernel family Architecture of Windows NT Hypervisor Operating system Thread System software Computer architecture Software
315	Advanced Development of Certified OS Kernels Zhong Shao (PI) and Bryan Ford (Co-PI) Department of Computer Science, Yale University P.O.Box[removed], New Haven, CT[removed], USA {zhong.shao,bryan.ford}@yale.edu Technical Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2010-12-20 17:07:49 Concurrent computing Kernel Microkernel Operating system kernels L4 microkernel family Thread Mach Linux kernel Virtual machine Computer architecture System software Software
316	CertiKOS: A Certified Kernel for Secure Cloud Computing Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo Yale University {liang.gu, alexander.vaynberg, bryan.ford, zhong.shao, david.costanzo}@yale.edu Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2011-07-01 10:39:41 Virtual machines Central processing unit Hypervisor Virtual private server Ring Microkernel Kernel Hyper-V Process management System software Software Computing
317	Christ the King Catholic Primary School Summary of End of Year Data[removed]Early Years Foundation Stage Results: Christ the King Add to Reading List Source URL: www.christthekingprimary.co.uk Language: English - Date: 2014-03-27 12:30:11 L4 microkernel family L5 L4
318	FreeBSD kernel level vulnerabilities Przemysław Frasunek Warsaw, 20th November 2009 CONFidence 2009 II Add to Reading List Source URL: www.frasunek.com Language: English - Date: 2009-11-23 10:41:06 Computing platforms Monolithic kernels Linux Linux kernel Kernel Thread Microkernel Time of check to time of use FreeBSD Computer architecture Computing System software
319	Microsoft PowerPoint - Questionnaires learners - results Add to Reading List Source URL: www.vhs-bw.de Language: English Mobile computers Classes of computers Personal computing Information appliances Internet New media Laptop Mobile device L4 microkernel family Technology Computing Electronics

UPDATE