Finite state machine synthesis with concurrent error detection.
Chaohuang ZengNirmal R. SaxenaEdward J. McCluskeyPublished in: ITC (1999)
Keyphrases
- finite state machines
- error detection
- error correction
- error recovery
- fault tolerance
- fault isolation
- model checking
- functional decomposition
- data cleansing
- state machine
- error correcting
- finite state automata
- error resilient
- regular expressions
- hidden markov models
- digital circuits
- state transition
- databases
- error control
- metadata
- cellular automaton
- building blocks
- peer to peer
- multi agent
- neural network