Decomposition and factorization of sequential finite state machines.
Srinivas DevadasA. Richard NewtonPublished in: ICCAD (1988)
Keyphrases
- finite state machines
- model checking
- finite state automata
- functional decomposition
- decomposition algorithm
- decomposition method
- regular expressions
- databases
- kronecker product
- low rank
- singular value decomposition
- structure from motion
- database applications
- factorization method
- hidden markov models
- pairwise
- database