317 search results - page 42 / 64 » Snap-Stabilization in Message-Passing Systems |
PODC
2009
ACM
14 years 10 months ago
2009
ACM
This paper deals with the emulation of atomic read/write (R/W) storage in dynamic asynchronous message passing systems. In static settings, it is well known that atomic R/W storag...
PDP
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
MA
1999
Springer
14 years 2 months ago
1999
Springer
Many real-world tasks can be decomposed into pipelines of sequential operations (where subtasks may themselves be composed of one or more pipelines). JGram is a framework enabling...