The synthesis of linear Finite State Machine-based Stochastic Computational Elements.

Peng Li Weikang Qian Marc D. Riedel Kia Bazargan David J. Lilja

Published in: ASP-DAC (2012)

Keyphrases

finite state machines
state transition
functional decomposition
model checking
state machine
monte carlo
cellular automaton
database
hidden markov models
simple linear
digital circuits
mathematical programming
computationally tractable
relational databases