Parallel Satisfiability Test with Synchronous Simulated Annealing on Distributed-Memory Multiprocessor.
Andrew SohnPublished in: J. Parallel Distributed Comput. (1996)
Keyphrases
- distributed memory
- simulated annealing
- shared memory
- multiprocessor systems
- parallel implementation
- ibm sp
- single processor
- data parallelism
- scientific computing
- parallel computers
- fine grain
- parallel architecture
- matrix multiplication
- parallel machines
- data partitioning
- message passing
- parallel algorithm
- multithreading
- genetic algorithm
- image processing
- multi processor
- parallel programming
- parallel computation
- linear algebra
- tabu search
- metaheuristic
- active contours
- distributed systems
- graphical models
- dynamic programming