1547 search results - page 175 / 310 » Randomized Variable Elimination |
126
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
107
click to vote
BMCBI
2008
15 years 28 days ago
2008
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
106
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
DHT networks based on consistent hashing functions have an inherent load uneven distribution problem. The objective of DHT load balancing is to balance the workload of the network...
123
Voted
WSC
2004
15 years 2 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
143
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...