This paper describes the Denali isolation kernel, an operating system architecture that safely
multiplexes a large number of untrusted Internet services on shared hardware. Denali's …

The goal of Denali is to safely execute many independent, untrusted server applications on a
single physical machine. This would enable any developer to inject a new service into third-…

Cardiovascular disease (CVD) is the leading cause of death worldwide. Recent genome-wide
association (GWA) studies have pinpointed many loci associated with CVD risk factors in …

Virtual machine monitors (VMMs) have enjoyed a resurgence in popularity, since VMMs can
help to solve difficult systems problems like migration, fault tolerance, code sandboxing, …

Research into inspection is increasing, although in the past much of it tended to focus on
either the perspective of the school management or the inspectors themselves. As part of a 3 …

Active networks accelerate network evolution by permitting the network infrastructure to be
programmable, on a per-user, per-packet, or other basis. This programmability must be …

We explore the design and implementation of a scalable Datalog system using Hadoop as
the underlying runtime system. Observing that several successful projects provide a relational …

It is estimated that there are some 12 000 international schools world-wide, with over 25
000 middle managers and head teachers. Within this there are several different types of …

A virtual machine monitor is a software system that partitions a single physical machine into
multiple virtual machines. Traditionally, VMMs have created a precise replica of the …

The Denali project provides system support for running several mutually distrusting Internet
services on the same physical infrastructure. For example, this would enable a developer to …