Finite State Machine Decomposition for I/O Minimization.
Ming-Ter KuoLung-Tien LiuChung-Kuan ChengPublished in: ISCAS (1995)
Keyphrases
- finite state machines
- model checking
- input output
- finite state automata
- state machine
- functional decomposition
- state transition
- decomposition method
- regular expressions
- objective function
- hidden markov models
- file system
- decomposition methods
- cellular automaton
- databases
- pattern matching
- relational databases
- data transfer
- decomposition algorithm
- digital circuits
- database