Combining SIMD and Many/Multi-core Parallelism for Finite State Machines with Enumerative Speculation.

Peng Jiang Gagan Agrawal

Published in: PPOPP (2017)

Keyphrases

finite state machines
parallel processing
massively parallel
finite state automata
model checking
parallel architectures
parallel algorithm
computational power
digital circuits
single instruction multiple data
information extraction
regular expressions
parallel implementation