<--- Back to Details
First PageDocument Content
Computing platforms / Monolithic kernels / MINIX 3 / Kernel / Microkernel / Operating system / L4 microkernel family / MINIX / Linux kernel / Computer architecture / Computing / System software
Date: 2007-03-16 20:15:33
Computing platforms
Monolithic kernels
MINIX 3
Kernel
Microkernel
Operating system
L4 microkernel family
MINIX
Linux kernel
Computer architecture
Computing
System software

Can We Make Operating Systems Reliable and Secure?

Add to Reading List

Source URL: www.cs.vu.nl

Download Document from Source Website

File Size: 71,27 KB

Share Document on Facebook

Similar Documents

Computing / Information and communications technology / Computer networks / Supercomputing / Mellanox Technologies / InfiniBand / Power Architecture / 100 Gigabit Ethernet / LIO / QSFP / Remote direct memory access / OpenPOWER Foundation

High Performance Computing Dror Goldenberg, HPCAC Switzerland Conference March 2015 End-to-End Interconnect Solutions for All Platforms Highest Performance and Scalability for

DocID: 1xURD - View Document

Distributed Computing Prof. R. Wattenhofer BA/MA/SA/Group/Lab: Online Matching (in Gaming Platforms)

DocID: 1v9jY - View Document

The Efficiency of Open Access in Platforms for Networked Cournot Markets John Z. F. Pang∗ , Hu Fu† , Won I. Lee∗ , and Adam Wierman∗ ∗ Department of Computing and Mathematical Sciences

DocID: 1uz9I - View Document

Java Byte Code Synthesis for Reconfigurable Computing Platforms Christophe Dubach Computer Science, master thesis Processor Architecture Laboratory

DocID: 1tNUy - View Document

THE DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING PRESENTS: PROFESSOR AHMED M. ELTAWIL LOW POWER, HIGH THROUGHPUT APPROACHES FOR 5G COMPUTING AND COMMUNICATION PLATFORMS

DocID: 1tFSQ - View Document