A Theory of Consistency for Modular Synchronous Systems.

Randal E. Bryant Pankaj Chauhan Edmund M. Clarke Amit Goel

Published in: FMCAD (2000)

Keyphrases

learning systems
real time
neural network
management system
complex systems
databases
information retrieval
data sets
decision trees
relational databases
retrieval systems
theoretical foundation