References
SHOWING 1-2 OF 2 REFERENCES
Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework
- Computer ScienceGenetic Programming and Evolvable Machines
- 2009
This paper describes the challenges and design choices involved in parallelizing a hybrid of Genetic Algorithm (GA) and Local Search (LS) to solve MAXimum SATisfiability (MAX-SAT) problem on a state-of-the-art nVidia Tesla GPU usingnVidia Compute Unified Device Architecture (CUDA).
Cost-effective approach for reducing soft error failure rate in logic circuits
- Computer ScienceInternational Test Conference, 2003. Proceedings. ITC 2003.
- 2003
A new paradigm for designing logic circuits with concurrent error detection (CED) based on partial duplication is described, capable of reducing the soft error failure rate significantly with a fraction of the overhead required for full duplication.