Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.
Jinwen XiPeixin ZhongPublished in: ICCD (2004)
Keyphrases
- distributed computing
- hardware software
- sat solvers
- grid computing
- distributed environment
- hardware and software
- distributed systems
- cloud computing
- fault tolerance
- multi core processors
- peer to peer
- orders of magnitude
- mobile agents
- high performance computing
- search space
- cost effective
- search strategies
- embedded systems
- virtual machine
- artificial intelligence
- low cost
- database
- constraint satisfaction
- operating system