156 search results - page 11 / 32 » Parallel SAT Solving using Bit-level Operations |
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
99
Voted
GECCO
2008
Springer
15 years 22 days ago
2008
Springer
In this paper an island model is described for the unconstrained Binary Quadratic Problem (BQP), which can be used with up to 2500 binary variables. Our island model uses a master...
183
Voted
EUROSYS
2011
ACM
14 years 3 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
83
Voted
SPAA
1990
ACM
15 years 3 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
97
Voted
INFOVIS
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to gain insight into multivariate data, complex structures must be analysed and understood. Parallel coordinates is an excellent tool for visualizing this type of data bu...