Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study.
Amir PnueliTamarah AronsPublished in: FMCAD (1998)
Keyphrases
- case study
- data sets
- data points
- experimental data
- database
- complex data
- search engine
- training data
- synthetic data
- high dimensional data
- missing data
- input data
- small number
- knowledge discovery
- data analysis
- data acquisition
- original data
- data quality
- historical data
- statistical analysis
- computer systems
- data collection
- data mining techniques
- image data
- data sources
- xml documents
- machine learning
- data mining