L4

Results: 658



#Item
211C++ / C programming language / Data types / Type theory / C dynamic memory allocation / Pointer / Allocator / L4 microkernel family / C / Computing / Computer programming / Software engineering

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
212States and territories of Australia / New South Wales / Carthona /  Darling Point / Lindesay /  Darling Point / Bishopscourt /  Darling Point / Darling Point Road / Edmund Blacket / Rushcutters Bay /  New South Wales / Ralph Darling / Suburbs of Sydney / Sydney / Darling Point /  New South Wales

CIRCULAR QUAY TO SOUTH HEAD AND CLOVELLY LOOP WALK L4: DARLING POINT Main Walk: Distance:

Add to Reading List

Source URL: www.walkingcoastalsydney.com.au

Language: English - Date: 2012-05-09 21:51:32
213Gernot Heiser / Capability-based security / Kernel / Interrupt request / Embedded system / ARM architecture / Computer architecture / L4 microkernel family / Instruction set architectures

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
214Space / Plasma physics / Sun / Infrared telescopes / Space telescopes / Infrared / Star / Corona / Alpha Centauri / Astronomy / Electromagnetic radiation / Light sources

Astronomy & Astrophysics A&A 573, L4[removed]DOI: [removed][removed]

Add to Reading List

Source URL: www.aanda.org

Language: English
215Planetary science / European Space Agency / SCIAMACHY / MERIS / Remote sensing / European Space Research and Technology Centre / LIDAR / Earth / Spectrometers / Technology

ESSReS-L4: 17 Aug – 20 Aug, 2009 Introduction to the interdisciplinary field of Earth System Science Research, Part IV “Physics and Chemistry of the Atmosphere, Remote Sensing and Phytooptics”

Add to Reading List

Source URL: www.earth-system-science.org

Language: English - Date: 2014-05-24 11:17:57
216Sustainable 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

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
217X86 architecture / Programming language implementation / Ring / L4 microkernel family / Hypervisor / Kernel / X86-64 / Operating system / Linux kernel / System software / Software / Virtual machines

Outline Introduction Implementation

Add to Reading List

Source URL: muen.codelabs.ch

Language: English - Date: 2013-12-05 08:10:41
218L4 microkernel family / Computing platforms / Kernel / Linux kernel / Mach / MkLinux / Thread / Linux / Operating system / Computer architecture / Software / Computing

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
219Virtual machines / X86 architecture / Hardware virtualization / Microkernel / L4 microkernel family / Kernel / Linux kernel / Ring / X86 virtualization / System software / Computer architecture / Software

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
220Microkernel / Capability-based security / L4 microkernel family / Kernel / GNU Hurd / KeyKOS / Mach / Persistence / Ring / Computer architecture / Coyotos / EROS

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
UPDATE