6020 search results - page 382 / 1204 » A New Approach to Model Counting |
181
click to vote
ISMVL
2003
IEEE
16 years 3 days ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
190
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The paper is focused on the problem of aggregation of probability distribution applicable for parallel Bivariate Marginal Distribution Algorithm (pBMDA). A new approach based on...
203
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
170
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new analytical approach for the performance evaluation of asynchronous wormhole routing in k-ary n-cubes. Through the analysis of network flows, our methodology furni...
149
click to vote
DEXAW
1996
IEEE
15 years 11 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...