Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation.
Peng JiangYang XiaGagan AgrawalPublished in: ACM Trans. Parallel Comput. (2020)
Keyphrases
- finite state machines
- parallel processing
- massively parallel
- finite state automata
- model checking
- parallel algorithm
- parallel architectures
- single instruction multiple data
- shared memory
- hidden markov models
- parallel computing
- processor array
- parallel implementation
- computational power
- parallel execution
- digital circuits