1204 search results - page 150 / 241 » Hybrid Probabilistic Programs |
101
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
100
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
110
Voted
LION
2007
Springer
15 years 7 months ago
2007
Springer
The problem of finding the broadcast scheme with minimum power consumption in a wireless ad-hoc network is NP-hard. This work presents a new hybrid algorithm to solve this problem...
101
Voted
SPIRE
2005
Springer
15 years 6 months ago
2005
Springer
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...