1256 search results - page 140 / 252 » Experiences with the DEVStone benchmark |
185
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The emerging edge services architecture promises to improve the availability and performance of web services by replicating servers at geographically distributed sites. A key chal...
147
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
As dynamic content becomes increasingly dominant, it becomes an important research topic as how the edge resources such as client-side proxies, which are otherwise underutilized f...
258
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
This paper deals with the challenging problem of counting the number of solutions of a CSP, denoted #CSP. Recent progress have been made using search methods, such as BTD [15], whi...
151
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
178
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...