Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
71	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.org Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
72	Job Communication Characterization and its Impact on Meta-scheduling Co-allocated Jobs in a Mini-grid William M. Jones Louis W. Pang Dan Stanzione Walter B. Ligon III Add to Reading List Source URL: www.parl.clemson.edu Language: English - Date: 2004-04-26 17:26:02 Parallel computing Grid computing Operations research Meta-scheduling Job scheduler Computer cluster Scheduling L4 microkernel family Computing Concurrent computing Computer architecture
73	Tolerating Malicious Device Drivers in Linux Silas Boyd-Wickizer and Nickolai Zeldovich MIT CSAIL A BSTRACT Add to Reading List Source URL: pdos.csail.mit.edu Language: English Device drivers Interrupts Linux Microkernel Device driver DMA attack Ioctl Architecture of Windows NT MINIX 3 Computer architecture Computing System software
74	CTSRD CRASH-worthy Trustworthy Systems Research and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-03-18 11:23:25 Computing platforms Monolithic kernels Kernel Microkernel FreeBSD Linux kernel Hypervisor Emacs Software Computing Computer architecture
75	From imagination to impact Research Excellence in ICT Wealth Creation for Australia NICTA (National ICT Australia Ltd) is Australia’s Information and Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:31:05 Security Future Internet National Telecommunications and Information Administration Ambient intelligence Smart grid Computer security Gernot Heiser NICTA Technology L4 microkernel family
76	Future energy systems, Logistics & Supply Chains Rob Fitzpatrick Director, Infrastructure, Transport & Logistics Add to Reading List Source URL: www.ichca-australia.com Language: English - Date: 2014-11-16 22:33:48 Technology L4 microkernel family Information and communication technologies in education Information and communications technology Communication Information technology NICTA
77	Microsoft Word - Document1 Add to Reading List Source URL: www.law.monash.edu.au Language: English - Date: 2012-04-23 01:46:19 Literature Ambassador The Ambassadors L4 microkernel family
78	Undermining Isolation through Covert Channels in the Fiasco.OC Microkernel Michael Peter Matthias Petschick Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-10 16:02:06 X86 architecture Covert channel Linux kernel Microkernel Mach Kernel Overt channel Operating system Channel Computer architecture Computing Slab allocation
79	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
80	THE-ICE 7th International Panel of Experts Forum 2013 The Blue Mountains International Hotel Management School Sydney Australia 6 – 8 November 2013 ‘The Industry Education Nexus – a global perspective’ Add to Reading List Source URL: the-ice.org Language: English - Date: 2013-11-01 01:39:52 L4 microkernel family Education Hospitality management Blue Mountains International Hotel Management School Hospitality management studies

UPDATE