5790 search results - page 382 / 1158 » Distributed programming with distributed authorization |
143
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
Speedups demonstrated for finding the biconnected components of a graph: 9x to 33x on the Explicit Multi-Threading (XMT) many-core computing platform relative to the best serial ...
169
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
144
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
174
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
147
click to vote
PVM
1997
Springer
15 years 8 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...