Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
1	White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia Add to Reading List Source URL: www.itas.kit.edu Language: English - Date: 2013-09-10 11:50:52 Software System software Computing Embedded systems L4 microkernel family Gernot Heiser Hypervisor Microkernel Open Kernel Labs Xen VMware ESXi Virtualization
2	From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales Add to Reading List Source URL: sigops.org Language: English - Date: 2014-02-27 16:46:20 Computer architecture Software Computing L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel L3 microkernel Heiser Kernel Symposium on Operating Systems Principles Mach
3	APSYS2011 STEERING COMMITTEE • Gernot Heiser (NICTA, UNSW, Open Kernel Labs) • Doug Terry (MSR, USA) Add to Reading List Source URL: apsys11.ucsd.edu Language: English - Date: 2011-05-31 00:19:58
4	Linux 2.6 Performance in the Corporate Data Center Open Source Development Labs (OSDL) Mary Edie Meredith, Data Center Linux TWG Chair IBM Linux Technology Center (LTC) Duc Vianney, PhD Add to Reading List Source URL: linuxperf.sourceforge.net Language: English - Date: 2004-02-20 10:17:01 Linux Linux kernel Shared memory Kernel Mmap Virtual memory Computing Software Inter-process communication
5	ISSUE 27 \| SEPTEMBERNICTANews 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
6	The Australian Open Source Industry & Community Report 2008 Sponsors & Add to Reading List Source URL: census.waughpartners.com.au Language: English - Date: 2008-04-06 21:25:06 Free software Open Source Industry Australia Pia Waugh Open-source software Rusty Wrench Free and open source software Linux Australia Open source Open Kernel Labs Computing Software Software licenses
7	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
8	INSIDE Game on for Scalify NICTA solver wins Add to Reading List Source URL: www.nicta.com.au Language: English - 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
9	seL4 Present and Future @GernotHeiser & Team NICTA and UNSW Australia What is seL4? seL4: The latest (and most advanced) member of the L4 Add to Reading List Source URL: fosdem.org Language: English - Date: 2015-02-09 17:13:42 Gernot Heiser L4 microkernel family Open Kernel Labs Microkernel Real-time operating systems Kernel Ring FOSDEM Integrity System software Computer architecture Software
10	Operating Systems @ UNSW Introduction COMP3231[removed] Add to Reading List Source URL: cgi.cse.unsw.edu.au Language: English - Date: 2015-03-03 15:44:05 Gernot Heiser L4 microkernel family John Lions Open Kernel Labs Berkeley Software Distribution Unix Microkernel Operating system System software Computer architecture Software