4586 search results - page 347 / 918 » Computing stable models in parallel |
141
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...
218
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
140
Voted
LCN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes an apparatus which can be used to vary communication performance parameters for MPI applications, and provides a tool to analyze the impact of communication p...
119
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
1 The problem of sorting an intransitive total ordered set, a generalization of regular sorting, is considered. This generalized sorting is based on the fact that there exists a s...
162
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Bayesian networks (BN) constitute a useful tool to model the joint distribution of a set of random variables of interest. To deal with the problem of learning sensible BN models fr...