Register Sharing Verification During Data-Path Synthesis.
Chandan KarfaChittaranjan A. MandalDipankar SarkarChris ReadePublished in: ICCTA (2007)
Keyphrases
- data sets
- statistical analysis
- synthetic data
- original data
- high quality
- computer systems
- raw data
- data collection
- data processing
- data sources
- complex data
- database
- training data
- data quality
- experimental data
- historical data
- small number
- noisy data
- databases
- neural network
- model checking
- data distribution
- application domains
- social networks
- data points
- data mining techniques