4045 search results - page 309 / 809 » Special Section on Parallel Distributed Computing and Networ... |
116
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...
137
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
126
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
112
Voted
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
116
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Storing data in distributed systems aims to offer higher bandwidth and scalability than storing locally. But, a couple of disadvantageous issues must be taken into account such as...