Invariant-Strengthened Elimination of Dependent State Elements.

Michael L. Case Alan Mishchenko Robert K. Brayton Jason Baumgartner Hari Mony

Published in: FMCAD (2008)

Keyphrases

real time
image processing
pattern recognition
database
databases
information retrieval
search engine
information systems
decision making
knowledge base
wide range
multi agent systems
expert systems
information technology
special case
finite state machines