23 search results - page 4 / 5 » Reconfigurable Hardware SAT Solvers: A Survey of Systems |
IEEECIT
2010
IEEE
13 years 4 months ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
SAT
2009
Springer
14 years 24 days ago
2009
Springer
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
FPL
2000
Springer
2000
Springer
Reconfigurable Computing between Classifications and Metrics - The Approach of Space/Time-Scheduling
13 years 10 months ago
Abstract. Reconfigurable computing receives its merits from scheduling timebased into space-based execution. This paper reviews some common parameters and introduces an additional ...
ICCAD
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
ACL2
2006
ACM
14 years 7 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...