Reachability in Distributed Memory Automata.
Benedikt BolligFedor RyabininArnaud SangnierPublished in: CSL (2021)
Keyphrases
- distributed memory
- shared memory
- fine grain
- parallel implementation
- ibm sp
- state space
- multiprocessor systems
- regular expressions
- data parallelism
- scientific computing
- transitive closure
- parallel computers
- matrix multiplication
- message passing
- parallel architecture
- parallel machines
- computer systems
- image processing