Login / Signup
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