261 search results - page 40 / 53 » An Adaptive Evolutionary Algorithm for the Satisfiability Pr... |
BIOSYSTEMS
2007
14 years 10 months ago
2007
Noise and component failure is an increasingly difficult problem in modern electronic design. Bioinspired techniques is one approach that is applied in an effort to solve such is...
RSA
2008
14 years 8 months ago
2008
ABSTRACT: Caching is widely recognized as an effective mechanism for improving the performance of the World Wide Web. One of the key components in engineering the Web caching syste...
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
Adaptation to dynamic optimization problems is currently receiving a growing interest as one of the most important applications of evolutionary algorithms. In this paper, a compoun...
CPHYSICS
2004
14 years 9 months ago
2004
We introduce here a new method for the numerical resolution of the Vlasov equation on a phase space grid using an adaptive semi-Lagrangian method. The adaptivity is obtained throu...