Equivalence Checking a 256MB SDRAM.

Simon Napper Dian Yang

Published in: MTDT (2001)

Keyphrases

times faster
consistency checking
machine learning
hidden markov models
social networks
decision trees
data model
integrity constraints
equivalence relation