Process migration is the act of transferring a process between two machines. It enables
dynamic load distribution, fault resilience, eased system administration, and data access …

When distributed systems first appeared, they were programmed in traditional sequential
languages, usually with the addition of a few library procedures for sending and receiving …

Mobile applications are becoming increasingly ubiquitous and provide ever richer
functionality on mobile devices. At the same time, such devices often enjoy strong …

This paper presents MAUI, a system that enables fine-grained energy-aware offload of
mobile code to the infrastructure. Previous approaches to these problems either relied …

Distributed Systems Page 1 DS 2006; Ch1 16-Jan-06 Timo Alanko, 2006 1 Distributed
Systems Spring 2006 Timo Alanko 16-Jan-06 2 Sources of material • Tanenbaum, van …

Migrating operating system instances across distinct physical hosts is a useful tool for
administrators of data centers and clusters: It allows a clean separation between hardware …

In this paper we introduce a runtime system to allow unmodified multi-threaded applications
to use multiple machines. The system allows threads to migrate freely between machines …

Is your memory hierarchy stopping your microprocessor from performing at the high level it
should be? Memory Systems: Cache, DRAM, Disk shows you how to resolve this problem …

Stateful serverless analytics can be enabled using a remote memory system for inter-task
communication, and for storing and exchanging intermediate data. However, existing …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …