3635 search results - page 400 / 727 » Algorithms for Energy Saving |
205
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
167
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
211
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a hardware-accelerated method for rendering high quality, antialiased shadows using the shadow map approach. Instead of relying on dedicated hardware support for shadow...
186
click to vote
BNCOD
2004
15 years 8 months ago
2004
The M-tree is a paged, dynamically balanced metric access method that responds gracefully to the insertion of new objects. Like many spatial access methods, the M-tree's perfo...
173
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a new algorithm that reduces the space complexity of heuristic search. It is most effective for problem spaces that grow polynomially with problem size, but contain lar...