Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
211	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
212	ISSUE 39 \| DECEMBER[removed]INSIDE Incoming Media secures funding Digital Canberra Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 NICTA Gernot Heiser RMIT University L4 microkernel family University of Melbourne University of New South Wales Analytics Association of Commonwealth Universities Academia Education
213	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 Academia 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
214	UNDERGRADUATE PROGRAMS FREQUENTLY ASKED QUESTIONS 2013 Updated on August 2012 Add to Reading List Source URL: www.engineering.unsw.edu.au Language: English - Date: 2013-10-17 19:39:33 Tertiary education fees in Australia Australian Tertiary Admission Rank Bachelor of Engineering Master of Engineering University of New South Wales L4 microkernel family Engineering education Education Association of Commonwealth Universities Taxation in Australia
215	Microsoft Word - Ch7b_P6 Eng_TSA2011E.doc Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2011-10-31 06:34:06 Test Evaluation Health Education L4 microkernel family L3
216	VISITORS CONTROL- METROPOLITAN SUBURBAN STATIONS L2-STO-PRO-001 Version: 2 Add to Reading List Source URL: www.metrotrains.com.au Language: English - Date: 2013-12-09 19:29:39
217	ISSUE 34 \| JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 L4 microkernel family University of New South Wales Information and communication technologies in education Computing CeBIT Formal verification Academia NICTA Technology Gernot Heiser
218	ISSUE 27 \| SEPTEMBER[removed]NICTANews INSIDE Board Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:45 Gernot Heiser Higher education Open Kernel Labs L4 microkernel family Education University of New South Wales University of Melbourne Australian National University University of Sydney Association of Commonwealth Universities NICTA Academia
219	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software
220	Hype and Virtue Timothy Roscoe∗ Kevin Elphinstone† National ICT Australia Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Hypervisor Paravirtualization Hardware virtualization Xen X86 virtualization Microkernel Hyper-V Kernel L4 microkernel family System software Software Virtual machines

UPDATE