Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
181	STOP PRESS Best Paper Award Artificial Intelligence). IJCAI is a very prestigious conference and this level of recognition is a major achievement for Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:58 Higher education Technology Open Kernel Labs L4 microkernel family Dante University of New South Wales University of Melbourne University of Sydney Australian National University Association of Commonwealth Universities NICTA Academia
182	ok-labs.com SecureIT MOBILE for communications OK Labs SecureIT Mobile for communications Building on industry-leading OKL4 mobile virtualization, OK Labs SecureIT Mobile for communications offers government agencies/dep Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2011-11-01 16:42:47 Embedded systems Technology Mobile computers Open Kernel Labs Mobile virtualization L4 microkernel family Mobile phone System software Software Virtual machines
183	Microsoft Word - Ch7b_P6 English_TSA2013E Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2013-10-31 22:03:00 Standardized tests Knowledge L4 microkernel family Test Reading L3 Educational psychology Education Linguistics
184	Academy of Motion Picture Award Chris Cooper Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:55 NICTA Gernot Heiser Dante L4 microkernel family International Conference on Computer Vision Future Internet Information and communication technologies in education Armadillo Formal verification Software Science Computing
185	ISSUE 33 \| MARCH[removed]INSIDE NICTA’s new spin-out company Saluda Medical Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:53 NICTA Gernot Heiser L4 microkernel family Information and communication technologies in education Techfest University of New South Wales Information and communications technology Communication Information technology Technology
186	ok-labs.com VIP SERVICES WE’RE HERE TO HELP Virtualization Integration Practice Open Kernel Labs (OK Labs) Virtualization Integration Practice (VIP) is a family of collaborative Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-14 17:00:10 Embedded systems Open Kernel Labs L4 microkernel family Mobile virtualization Virtualization Software Virtual machines Computing
187	Cyber Security Verified Real-Time Operating System Did you know your life depends on software? The Problem Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-02 19:16:09 System software Computing Embedded system L4 microkernel family Nucleus RTOS MQX Real-time operating systems Embedded operating systems Computer architecture
188	INSIDE $1.4M boost for NICTA GiFi NICTA and CSIRO to Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:58 Academia Technology Open Kernel Labs Gernot Heiser Gi-Fi L4 microkernel family University of Melbourne University of Sydney University of New South Wales Association of Commonwealth Universities NICTA Computing
189	Secure Embedded Systems Need Microkernels Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:41 Microkernel Trusted computing base L4 microkernel family Monolithic kernels Virtual machines Gernot Heiser Kernel Embedded system Linux kernel Computer architecture System software Software
190	ANNUAL REPORT 05 to the Australian Government Section 1 Milestone Report Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-01 07:49:31 Gi-Fi Framework Programmes for Research and Technological Development Information and communication technologies in education Australian National University L4 microkernel family Ambient intelligence Academia Research CSSIP NICTA Technology Defence Science and Technology Organisation

UPDATE