Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
121	imagination[removed]Annual Research Report from imagination to impact Focusing on imagination Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:40:49 Open Kernel Labs L4 microkernel family Gi-Fi LIXI Framework Programmes for Research and Technological Development Capability-based security Ambient intelligence Electronics NICTA Computing Technology
122	Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel NICTA Formal verification Kernel GNU General Public License University of New South Wales System software Software Computer architecture
123	Topsy - A Teachable Operating System Version 1.1, [removed]George Fankhauser, Christian Conrad, Eckart Zitzler, Bernhard Plattner Computer Engineering and Networks Laboratory, ETH Zürich Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2000-04-17 06:30:01 Monolithic kernels Concurrent computing Thread Kernel Architecture of Windows NT Mach Ring Microkernel Linux kernel Computer architecture Computing System software
124	Mid-year (Q2) Report to the Australian Government[removed]January – 30 June 2008 Contents Mid-year (Q2) Report to the Australian Government 2008 Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:47:08 Higher education L4 microkernel family Gi-Fi LIXI Education Defence Science and Technology Organisation Australian National University Capability-based security University of New South Wales Association of Commonwealth Universities NICTA Academia
125	capDL: A Language for Describing Capability-Based Systems Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker NICTA and University of New South Wales Sydney, Australia Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Access control Capability-based security Microkernel L4 microkernel family Coyotos EROS Formal verification Kernel Isabelle Computer architecture Security Computer security
126	ISSUE 15 October[removed]www.nicta.com.au NICTA Puts ICT Innovation First Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:42 Higher education Technology Gernot Heiser Open Kernel Labs Dante L4 microkernel family Griffith University Future Internet University of New South Wales Association of Commonwealth Universities Academia NICTA
127	[removed]Glasshouse Road Precinct Day Cleaning Schedule.xlsm Semester Bldg Building 82 82 Add to Reading List Source URL: www.pf.uq.edu.au Language: English - Date: 2014-10-14 20:27:46 L4 microkernel family L3 LK
128	A lightweight and high-performance TCP/IP stack for Topsy Semester Thesis of David Schweikert April 1998 – July 1998 Computer Engineering and Networks Laboratory, ETH Z¨urich Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 1999-10-25 03:54:15 Internet protocol suite Transmission Control Protocol TUN/TAP Communications protocol IPv4 Microkernel Protocol stack Computer networking Computing Data Information
129	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
130	Training or Provisional Sweep DBWA approved Sweep Assessor Surname Add to Reading List Source URL: dragonboatingwa.asn.au Language: English - Date: 2014-12-08 07:14:13 Mandurah Fremantle Indian Ocean L4 microkernel family Cockburn Geography of Australia Geography of Western Australia Geography of Oceania

UPDATE