Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
91	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
92	Capability space management library Generated by Doxygen[removed]Wed Jul[removed]:33:04 CONTENTS Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-07-29 08:23:40 C++ C programming language Data types Type theory C dynamic memory allocation Pointer Allocator L4 microkernel family C Computing Computer programming Software engineering
93	Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ seL4 Reference Manual For v3 development branch API version 1.2(r2) Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-07-29 08:23:40 Gernot Heiser Capability-based security Kernel Interrupt request Embedded system ARM architecture Computer architecture L4 microkernel family Instruction set architectures
94	NICTA Comments on the Draft NSW Long Term Transport Master Plan Dear Transport for NSW, NICTA thanks the NSW Government for the opportunity to provide commentary on the Draft NSW Long Term Transport Master Plan. It build Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-17 05:04:25 Sustainable transport Transportation planning Wireless networking Electronic toll collection NICTA Vehicular communication systems L4 microkernel family Traffic congestion Intelligent transportation system Transport Land transport Road transport
95	™ MICROKERNEL PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed real-time operating system (RTOS). VxWorks delivers unrivaled deterministic performance and s Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-03-31 14:29:45 Real-time operating systems Embedded operating systems VxWorks Wind River Systems Kernel Embedded system Simics Microkernel Embedded software System software Software Computing
96	Outline Introduction Implementation Add to Reading List Source URL: muen.codelabs.ch Language: English - Date: 2013-12-05 08:10:41 X86 architecture Programming language implementation Ring L4 microkernel family Hypervisor Kernel X86-64 Operating system Linux kernel System software Software Virtual machines
97	16th ACM Symposium on Operating Systems Principles (SOSP ’97), October 5–8, 1997, Saint-Malo, France The Performance of µ-Kernel-Based Systems Hermann H¨artig Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2002-01-04 05:47:28 L4 microkernel family Computing platforms Kernel Linux kernel Mach MkLinux Thread Linux Operating system Computer architecture Software Computing
98	Muen - An x86/64 Separation Kernel for High Assurance Reto Buerki Adrian-Ken Rueegsegger August 29, 2013 Add to Reading List Source URL: muen.codelabs.ch Language: English - Date: 2013-12-05 08:08:28 Virtual machines X86 architecture Hardware virtualization Microkernel L4 microkernel family Kernel Linux kernel Ring X86 virtualization System software Computer architecture Software
99	TOWARDS A TRUE MICROKERNEL OPERATING SYSTEM A revision of MINIX that brings quality enhancements and strongly reduces the kernel in size by moving device drivers to user-space Add to Reading List Source URL: www.minix3.org Language: English - Date: 2012-03-07 05:50:26 Computing platforms MINIX 3 MINIX Kernel Andrew S. Tanenbaum Microkernel Ring Linux Operating system Computer architecture Computing System software
100	Coyotos Microkernel Specification Version 0.6+ Jonathan S. Shapiro, Ph.D., Jonathan W. Adams The EROS Group, LLC September 10, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:09:56 Microkernel Capability-based security L4 microkernel family Kernel GNU Hurd KeyKOS Mach Persistence Ring Computer architecture Coyotos EROS

UPDATE