Parallel propositional satisfiability checking with distributed dynamic learning

W Blochinger, C Sinz, W Küchlin - Parallel Computing, 2003 - Elsevier
We address the parallelization and distributed execution of an algorithm from the area of
symbolic computation: propositional satisfiability (SAT) checking with dynamic learning. Our …

The Hyperion system: Compiling multithreaded Java bytecode for distributed execution

G Antoniu, L Bougé, P Hatcher, M MacBeth… - Parallel Computing, 2001 - Elsevier
Our work combines Java compilation to native code with a run-time library that executes
Java threads in a distributed memory environment. This allows a Java programmer to view a …

[PDF][PDF] Techniques for migrating computations on the grid

V Chaudhary, H Jiang - Engineering the grid: status and perspective, 2006 - cse.buffalo.edu
Grid computing is focusing more on resource sharing, cycle stealing, and other modes of
collaboration among dynamic and geographically distributed organizations. As a …

Compile/run-time support for thread migration

H Jiang, V Chaudhary - Proceedings 16th International Parallel …, 2002 - ieeexplore.ieee.org
Describes a generic mechanism to migrate threads in heterogeneous distributed
environments. To maintain high portability and flexibility, thread migration is implemented at …

Software-distributed shared memory over heterogeneous micro-server architecture

L Cudennec - Euro-Par 2017: Parallel Processing Workshops: Euro …, 2018 - Springer
Nowadays, the design of computing architectures not only targets computing performances
but also the energy power savings. Low-power computing units, such as ARM and FPGA …

Process migration based on gobelins distributed shared memory

G Vallee, C Morin, R Lottiaux… - 2nd IEEE/ACM …, 2002 - ieeexplore.ieee.org
Clusters are attractive for executing sequential and parallel applications. However, there is a
need to design a cluster distributed operating system to provide a Single System Image. A …

Making a DSM consistency protocol hierarchy-aware: An efficient synchronization scheme

G Antoniu, L Bougé, S Lacour - CCGrid 2003. 3rd IEEE/ACM …, 2003 - ieeexplore.ieee.org
We consider the design of DSM consistency protocols for hierarchical architectures. Such
architectures typically consist of a constellation of loosely-interconnected clusters, each …

Controlling kernel scheduling from user space: An approach to enhancing applications' reactivity to i/o events

V Danjean, R Namyst - International Conference on High-Performance …, 2003 - Springer
In this paper, we present a sophisticated mechanism that allows an application to tightly
control the way I/O events are handled within the underlying operating system's kernel. The …

Invariant signatures for planar shape recognition under partial occlusion

AM Bruckstein, RJ Holt, AN Netravali… - 1992 11th IAPR …, 1992 - computer.org
Clusters are attractive for executing sequential and parallel applications. However, there is a
need to design a cluster distributed operating system to provide a Single System Image. A …

Madeleine: une interface de communication performante et portable pour exploiter les interconnexions hétérogènes de grappes| Theses. fr

O Aumage - 2002 - theses.fr
La qualité de la gestion des communications au sein d'un exécutif destiné aux applications
dites «hautes performances» sur des architectures de calcul distribuées est essentielle: le …