1497 search results - page 35 / 300 » A Computational Model for Message Passing |
CCE
2005
13 years 9 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
ICPPW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
JCB
2000
13 years 9 months ago
2000
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....