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 …

Scientists use advanced computing techniques to assist in answering the complex questions
at the forefront of discovery. The High Performance Computing (HPC) scientific applications …

The full exploitation of today's networked computing platforms is complicated because of the
lack of suitable programming support. This is especially the case if distributed applications …

An HPC application must be resilient to sustain itself in the event of process loss due to the
high probability of hardware failure on modern HPC systems. These applications rely on …

We study the formal verification of programs written in d SL, an extension of the standard ST
language used to program industrial controllers. It proposes a trade off between industrial …

Process migration is a desirable and useful facility for the Network of Workstations (NOW).
This paper presents a novel migration protocol called quasi-asynchronous migration for …

This paper explores the viability of object migration for massively parallel architectures. The
aim is the comparison between global and local perspectives in migration policies. The …

We describe our experiences with the implementation of a process migration mechanism for
the distributed operating system Amoeba. After describing our design goals, we present our …

The paper aims to show that micro-kernels are a more suitable environment for the
implementation of process migration than conventional monolithic kernels. This premise is …

We present and motivate the definition and use of the language and environment dSL, an
imperative and event driven language designed to program distributed industrial control …