121 search results - page 17 / 25 » Adaptive Application of SAT Solving Techniques |
ICS
2010
Tsinghua U.
14 years 23 days ago
2010
Tsinghua U.
Because of their tremendous computing power and remarkable cost efficiency, GPUs (graphic processing unit) have quickly emerged as an influential computing platform for a broad ...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
AES
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with the numerical simulation of flows of stratified fluids through channels with irregular geometry. Channel crosssections are supposed to be symmetric but no...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
In the past decade parallel disk systems have been highly scalable and able to alleviate the problem of disk I/O bottleneck, thereby being widely used to support a wide range of d...
GECCO
2010
Springer
14 years 23 days ago
2010
Springer
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...