6020 search results - page 685 / 1204 » A New Approach to Model Counting |
173
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
We address the classic wire-length estimation problem and propose a new statistical wire-length estimation approach that captures the probability distribution function of net leng...
221
click to vote
MM
2009
ACM
16 years 2 months ago
2009
ACM
Determining similarity is a fundamental task in querying multimedia databases in a content-based way. For this challenging task, there exist numerous similarity models which measu...
199
click to vote
CBMS
2008
IEEE
16 years 2 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
222
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
190
click to vote
RSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...