2488 search results - page 96 / 498 » Distributed Non-binary Constraints |
119
Voted
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...
119
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
113
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
This paper explores the multi-dimensional design space for chip multiprocessors, exploring the inter-related variables of core count, pipeline depth, superscalar width, L2 cache s...
136
click to vote
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. XML query processors suffer from main-memory limitations that prevent them from processing large XML documents. While content-based predicates can be used to project down...
120
click to vote
CCGRID
2009
IEEE
15 years 6 months ago
2009
IEEE
In a grid application, some requirements may change while the execution is in progress. This paper presents invivo enhancement