INSIDE Game on for Scalify NICTA solver wins

First Page		Document Content
Date: 2015-02-08 20:31:46 Computing NICTA Open Kernel Labs Gernot Heiser L4 microkernel family Armadillo University of New South Wales University of Melbourne Information and communication technologies in education Software Association of Commonwealth Universities System software		INSIDE Game on for Scalify NICTA solver wins Add to Reading List Source URL: www.nicta.com.au Download Document from Source Website File Size: 4,25 MB Share Document on Facebook

	Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig DocID: 1t1gF - View Document
	Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗ DocID: 1t092 - View Document
	White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia DocID: 1qno4 - View Document
	CALL FOR PAPERS: ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS) Important Dates Submission deadline (direct submissions) Submission deadline (SOSP transfers) Acceptance notification DocID: 1oZgz - View Document
	Timing Analysis of a Protected Operating System Kernel Bernard Blackham† , Yao Shi† , Sudipta Chattopadhyay‡ , Abhik Roychoudhury‡ and Gernot Heiser† † NICTA and University of New South Wales, Sydney, Austral DocID: 1nXTf - View Document