HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we question the common practice of assigning security impact ratings to OS updates. Specifically, we present evidence that ranking updates by their perceived securi...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper takes a renewed look at the problem of managing intermediate data that is generated during dataflow computations (e.g., MapReduce, Pig, Dryad, etc.) within clouds. We d...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Many systems design, configuration, runtime and management decisions must be made from a large set of possible alternatives. Ad hoc heuristics have traditionally been used to make...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Commodity operating systems achieve good performance by running device drivers in-kernel. Unfortunately, this architecture offers poor fault isolation. This paper introduces micro...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
A growing number of online service providers offer to store customers' photos, email, file system backups, and other digital assets. Currently, customers cannot make informed...