EQUIPE: Parallel equivalence checking with GP-GPUs.
Debapriya ChatterjeeValeria BertaccoPublished in: ICCD (2010)
Keyphrases
- parallel programming
- genetic programming
- parallel processing
- graphics processing units
- parallel architectures
- general purpose
- parallel algorithm
- parallel computing
- parallel computation
- highly parallel
- programming environment
- high end
- multi core systems
- data sets
- commodity hardware
- parallel execution
- processing units
- massively parallel
- computational power
- fitness function
- scheduling problem
- genetic algorithm