3068 search results - page 394 / 614 » Separation Results on the |
156
click to vote
SAT
2004
Springer
16 years 1 hour ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
173
click to vote
WEBDB
2004
Springer
15 years 12 months ago
2004
Springer
Rooted in electronic publishing, XML is now widely used for modelling and storing structured text documents. Especially in the WWW, retrieval of XML documents is most useful in co...
172
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
172
click to vote
CCGRID
2003
IEEE
15 years 12 months ago
2003
IEEE
At least three factors in the existing migrating systems make them less suitable in Grid systems especially when the goal is to improve the response times for individual applicati...
186
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...