1724 search results - page 4 / 345 » Types as models: model checking message-passing programs |
133
click to vote
PVM
1997
Springer
15 years 7 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...
124
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
131
click to vote
CLUSTER
2003
IEEE
15 years 8 months ago
2003
IEEE
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
162
click to vote
JMLR
2010
14 years 9 months ago
2010
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
113
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...