Microkernel

Results: 368



#Item
161Lexicography / Vocabulary / L3 / L4 microkernel family / Linguistics / Language / Learning to read

Microsoft Word - MS_BC_6ERW4_09.doc

Add to Reading List

Source URL: www.bca.hkeaa.edu.hk

Language: English - Date: 2010-01-25 04:49:23
162Academia / L4 microkernel family / Red Lizard Software / University of New South Wales / Formal verification / University of Melbourne / Research / Applied mathematics / Open Kernel Labs / Association of Commonwealth Universities / NICTA / Gernot Heiser

ISSUE 38 | OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map

Add to Reading List

Source URL: www.nicta.com.au

Language: English - Date: 2015-02-08 20:31:57
163L3 / Evaluation / Health / Education / L4 microkernel family / Test

Results of Primary 6 English Language in TSA 2010 The territory-wide percentage of P.6 students achieving English Language Basic Competency in TSA 2010 was 71.6%. There was a slight increase in the percentage achieving b

Add to Reading List

Source URL: www.bca.hkeaa.edu.hk

Language: English - Date: 2010-10-29 00:05:32
164L4 microkernel family / L4 / 4L

Territory-wide System Assessment 2009 Primary 6 English Language Listening Marking Scheme 6EL3

Add to Reading List

Source URL: www.bca.hkeaa.edu.hk

Language: English - Date: 2010-01-25 04:49:23
165Gernot Heiser / Research / L4 microkernel family / University of New South Wales / Higher education / University of Melbourne / Future Internet / Australian National University / Association of Commonwealth Universities / NICTA / Academia

Microsoft Word - NICTA 2010 Q2 Report 24 Nov.doc

Add to Reading List

Source URL: www.nicta.com.au

Language: English - Date: 2015-02-06 07:14:42
166Embedded systems / VMware / Hypervisor / L4 microkernel family / Microkernel / Gernot Heiser / Hyper-V / Embedded hypervisor / Virtualization / System software / Software / Virtual machines

The Role of Virtualization in Embedded Systems Gernot Heiser Open Kernel Labs and NICTA∗ and University of New South Wales Sydney, Australia ABSTRACT

Add to Reading List

Source URL: www.ok-labs.com

Language: English - Date: 2010-10-07 14:23:37
167Hypervisor / X86 virtualization / Virtualization / Ring / L4 microkernel family / Hyper-V / Gernot Heiser / Hardware-assisted virtualization / Comparison of platform virtual machines / System software / Software / Virtual machines

TECHNOLOGY WHITE PAPER Virtualization for Embedded Systems Gernot Heiser, PhD Chief Technology Officer Open Kernel Labs, Inc.

Add to Reading List

Source URL: www.ok-labs.com

Language: English - Date: 2011-04-27 16:31:46
168Academia / L4 microkernel family / Red Lizard Software / University of New South Wales / Formal verification / University of Melbourne / Research / Applied mathematics / Open Kernel Labs / Association of Commonwealth Universities / NICTA / Gernot Heiser

ISSUE 38 | OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map

Add to Reading List

Source URL: c.ymcdn.com

Language: English - Date: 2014-10-08 18:35:57
169Higher education / Gernot Heiser / Education / L4 microkernel family / Griffith University / University of New South Wales / University of Sydney / University of Melbourne / Formal verification / Association of Commonwealth Universities / NICTA / Academia

ISSUE 35 | DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcase

Add to Reading List

Source URL: www.nicta.com.au

Language: English - Date: 2015-02-08 20:31:54
170Technology / Academia / Education / CSSIP / L4 microkernel family / University of New South Wales / University of Melbourne / Information and communication technologies in education / Association of Commonwealth Universities / NICTA / Research institutes

NICTA ANNUAL REPORT[removed]The imagination driving Australia’s ICT future NICTA Members

Add to Reading List

Source URL: www.nicta.com.au

Language: English - Date: 2015-02-01 07:46:50
UPDATE