2-satisfiability and Diagnosing Faulty Processors in Massively Parallel Computing Systems.
Ansuman BagchiBrigitte ServatiusWeigeng ShiPublished in: Discret. Appl. Math. (1995)
Keyphrases
- computing systems
- massively parallel
- parallel computing
- model based diagnosis
- high performance computing
- computer systems
- parallel computers
- parallel computation
- parallel programming
- parallel execution
- mesh connected
- high end
- parallel architectures
- parallel machines
- processing units
- processing elements
- message passing interface
- computational complexity
- highly parallel
- field programmable gate array
- computer architecture
- graphics processing units
- fine grained
- autonomic computing
- data processing