L4 - PDFSEARCH.IO - Document Search Engine

L4
Results: 658

#	Item
621	L4 I Sunday, March 9, 2014 I Houston Chronicle I HoustonChronicle.eom and ehron.eom - * TRAVEL Add to Reading List Source URL: resources.stage-right.org Language: English - Date: 2014-03-24 18:59:19** Geography of Texas Wave Loch MS Navigator of the Seas Cozumel Geography of the United States Galveston Texas Cruise ships Ships built in Finland Geography of North America
622	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
623	## GL_auto_L4_J10.xls Add to Reading List Source URL: www.infodidac.ch Language: French - Date: 2013-11-12 16:23:27
624	A Principled Approach to Operating System Construction in Haskell Thomas Hallgren Add to Reading List Source URL: ogi.altocumulus.org Language: English - Date: 2005-07-10 01:38:48 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
625	MG-L4 RHEINISCHE POST Add to Reading List Source URL: quistel.de Language: German - Date: 2013-10-13 03:46:35
626	To be published in Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, 2004 Reducing TCB size by using untrusted components — Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2004-08-02 05:13:46 Trusted computing Microkernel Security Trusted computing base Kernel Trusted path L4 microkernel family Next-Generation Secure Computing Base Ring Computer security Computer architecture System software
627	Linux: a Portable Operating System Linus Torvalds Add to Reading List Source URL: mirror.linux.org.au Language: English - Date: 2011-02-13 16:57:38 Cross-platform software Application programming interfaces Linux Hardware abstraction Virtual machine Operating system Kernel L4 microkernel family System call Software System software Computing
628	From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone and Gernot Heiser Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 L4 microkernel family Microkernel Gernot Heiser Kernel Monolithic kernels EROS Open Kernel Labs Capability-based security Architecture of Windows NT Computer architecture System software Software
629	Can We Make Operating Systems Reliable and Secure? Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2007-03-16 20:15:33 Computing platforms Monolithic kernels MINIX 3 Kernel Microkernel Operating system L4 microkernel family MINIX Linux kernel Computer architecture Computing System software
630	+ [removed]4 7 9 2I/ASI28tB L4:57 : Add to Reading List Source URL: www.anfitalia.it Language: Italian - Date: 2013-05-08 07:03:49

UPDATE