4342 search results - page 607 / 869 » Improved Algorithms for Optimal Embeddings |
155
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...
160
click to vote
ACSD
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
166
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
248
click to vote
CVPR
2009
IEEE
17 years 29 days ago
2009
IEEE
Belief propagation (BP) is an effective algorithm for solving energy minimization problems in computer vision. However, it requires enormous memory, bandwidth, and computation beca...
261
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...