Symbolic execution of data paths.

Chuck Monahan Forrest Brewer

Published in: Great Lakes Symposium on VLSI (1995)

Keyphrases

data sets
database
training data
data quality
databases
data sources
neural network
artificial intelligence
symbolic execution