Login / Signup
Challenging the "embarrassingly sequential": parallelizing finite state machine-based computations through principled speculation.
Zhijia Zhao
Bo Wu
Xipeng Shen
Published in:
ASPLOS (2014)
Keyphrases
</>
finite state machines
finite state automata
model checking
state machine
regular expressions
digital circuits
state transition
real world
cellular automaton
neural network
message passing
linear algebra