Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
241	The Amoeba Distributed Operating System Andrew S. Tanenbaum & Gregory J. Sharp Vrije Universiteit De Boelelaan 1081a Amsterdam, The Netherlands Email: [removed], [removed] Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2000-06-20 03:27:57 Distributed computing architecture Amoeba Mach Server Unix Kernel Microkernel Thread Capability-based security Computer architecture System software Operating systems
242	An Architectural Approach for Cost Effective Trustworthy Systems Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu NICTA Copyright 2012 Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:03 Formal verification NICTA Trustworthiness Copyright Trust Computer security Gernot Heiser Ethics Science L4 microkernel family
243	Implementation Issues for the Psyche Multiprocessor Operating System Michael L. Scott Thomas J. LeBlanc Brian D. Marsh University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:13:40 Concurrent computing Monolithic kernels Kernel Thread Process management Linux kernel Mach L4 microkernel family Operating system Computer architecture Computing System software
244	L4-Linux Based System as a Platform for EPICS iocCore Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2002-07-08 19:13:18 Concurrent computing Linux Real-time operating systems Scheduling L4 microkernel family Linux kernel Kernel Thread Microkernel Computer architecture Computing System software
245	MMLite: A Highly Componentized System Architecture Johannes Helander and Alessandro Forin Microsoft Research Abstract MMLite is a modular system architecture that is Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:47:34 Component-based software engineering Object-oriented programming Cross-platform software Computing platforms Kernel Component Object Model Microkernel Architecture of Windows NT Thread Computing Software Concurrent computing
246	Experience with Charlotte: Simplicity versus Function In a Distributed Operating System by Raphael A. Finkel Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:09:53 Information Kernel Communications protocol Operating system Transmission Control Protocol Mach Pipeline Microkernel Computing Computer architecture Inter-process communication
247	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software
248	L4-Linux Based System As A Platform For EPICS iocCore J. Odagiri, N. Yamamoto and T. Katoh High Energy Research Accelerator Organization, KEK Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2002-01-29 15:43:39 Real-time operating systems Linux RTAI Computing platforms L4 microkernel family Linux kernel Kernel Latency RTLinux Computer architecture Computing Software
249	Briefing on NOAA CoastWatch Okeanos Ocean Color Products Banghua Yan NOAA/NESDIS/OSPO/Satellite Product Branch and Ian Simpson SSAI ESPDS O&M Support Contractor Team Add to Reading List Source URL: www.ospo.noaa.gov Language: English - Date: 2014-05-07 12:25:04 L4 microkernel family HDF L3 Aqua Spacecraft Moderate-Resolution Imaging Spectroradiometer Spaceflight
250	PDF Document Add to Reading List Source URL: www.myocean.eu Language: English - Date: 2015-01-05 07:49:26 Physical geography Topography Sea surface temperature Planetary science Oceanography L4 microkernel family Earth

UPDATE