58 search results - page 1 / 12 » Acceleration of Satisfiability Algorithms by Reconfigurable ... |
FPL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
DAC
2008
ACM
15 years 4 days ago
2008
ACM
FCCM
2009
IEEE
14 years 3 months ago
2009
IEEE
Modern use of FPGAs as hardware accelerators involves the partial reconfiguration of hardware resources as the application executes. In this paper, we present a polynomial time al...
FPL
2003
Springer
14 years 4 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
CODES
1996
IEEE
14 years 3 months ago
1996
IEEE
The partitioning of image processing algorithms with a novel hardware/software co-designframework (CoDe-X) is presented in this paper, where a new Xputer-architecture (parallel Ma...