1631 search results - page 241 / 327 » Uniform Distributed Synthesis |
120
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
183
click to vote
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
Scalable storage architectures allow for the addition or removal of storage devices to increase storage capacity and bandwidth or retire older devices. Assuming random placement of...
190
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
112
click to vote
DCC
2001
IEEE
16 years 2 months ago
2001
IEEE
This paper studies quantization error in the context of Matching Pursuit coded streams and proposes a new coefficient quantization scheme taking benefit of the Matching Pursuit pr...
114
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—When manufacturing nano-devices, defects are a certainty and reliability becomes a critical issue. Until now, the most pervasive methods used to address reliability, involve inj...