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 …
symbolic computation: propositional satisfiability (SAT) checking with dynamic learning. Our …
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
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 …
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 …
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 …
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 …
but also the energy power savings. Low-power computing units, such as ARM and FPGA …
Process migration based on gobelins distributed shared memory
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 …
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
We consider the design of DSM consistency protocols for hierarchical architectures. Such
architectures typically consist of a constellation of loosely-interconnected clusters, each …
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 …
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 …
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 …
dites «hautes performances» sur des architectures de calcul distribuées est essentielle: le …