517 search results - page 71 / 104 » Optimizing the Implementation of Communication in Synchronou... |
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
124
click to vote
LCN
2003
IEEE
15 years 6 months ago
2003
IEEE
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
122
click to vote
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...
SIGMOD
1996
ACM
15 years 5 months ago
1996
ACM
Scheduling query execution plans is an important component of query optimization in parallel database systems. The problem is particularly complex in a shared-nothing execution en...
123
click to vote
CLUSTER
2003
IEEE
15 years 6 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...