Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
111	Inside Coyotos Version 0.1 Jonathan S. Shapiro, Ph.D. The EROS Group, LLC September 10, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:43 Linux Monolithic kernels Microkernel Capability-based security Kernel Linux kernel Ring Computer architecture Coyotos EROS
112	Pragmatische nichtblockierende Synchronisation fur ¨ Echtzeitsysteme Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2002-10-22 08:15:33 Kernel L4 microkernel family Compare-and-swap Lock Microkernel Thread Non-blocking algorithm Mutual exclusion Linux kernel Concurrency control Computer architecture Computing
113	ISSUE 32 \| DECEMBER[removed]INSIDE ICT improves cancer treatment ATSE Fellowships Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:46 NICTA Education Gernot Heiser Open Kernel Labs L4 microkernel family University of New South Wales Information and communication technologies in education Australian National University University of Sydney Association of Commonwealth Universities Technology Academia
114	Towards Runtime Monitoring in Real-Time Systems Martin Pohlack, Bj¨ orn D¨ obel, and Adam Lackorzy´ nski Technische Universit¨at Dresden Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2006-11-03 08:07:34 L4 microkernel family Monolithic kernels Computing platforms Microkernel Kernel Mach Linux kernel Thread Ring Computer architecture Computing Software
115	ISSUE 34 \| JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 L4 microkernel family University of New South Wales Information and communication technologies in education Computing CeBIT Formal verification Academia NICTA Technology Gernot Heiser
116	Introduction COMP9242 2008/S2 Week 1 Part 1 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Embedded systems Microkernel Open Kernel Labs Mach Kernel Trusted computing base Hypervisor System software Computer architecture Computing
117	USGHRSST_2005Nov28_Casey.ppt Add to Reading List Source URL: www.nodc.noaa.gov Language: English - Date: 2005-12-15 12:01:20 National Oceanographic Data Center Oceanography Environment Earth L4 microkernel family Integrated Ocean Observing System Environmental data National Oceanic and Atmospheric Administration Ghrsst-pp
118	Annual Report to the Australian Government 2008 March[removed] Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:49:48 Gi-Fi Higher education Education in Australia LIXI L4 microkernel family University of New South Wales Griffith University Australian Research Council University of Melbourne Association of Commonwealth Universities NICTA Academia
119	Annual Activity Plan 2009 Table of Contents: Annual Activity Plan 2009 ........................................................................................... 1 Table of Contents: .................................. Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:00:49 Research institutes Academia Association of Commonwealth Universities Gi-Fi L4 microkernel family Cooperative Research Centre Information and communication technologies in education Framework Programmes for Research and Technological Development Open Kernel Labs Technology Computing NICTA
120	Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel David Hulse and Alan Dearle Department of Computing Science and Mathematics University of Stirling Stirling, FK9 4LA, Scotland Add to Reading List Source URL: www.osdever.net. Language: English - Date: 2012-05-30 02:15:54 Operating system kernels Kernel Monolithic kernels Microkernel L4 microkernel family Thread Ring Operating system System call Computer architecture System software Computing

UPDATE