Scaling Data Plane Verification via Parallelization.
Sisi WenAnubhavnidhi AbhashkumarChenyang ZhaoWeirong JiangPublished in: APNet (2024)
Keyphrases
- data sets
- data analysis
- original data
- experimental data
- fine grained
- synthetic data
- data collection
- complex data
- data points
- data sources
- three dimensional
- data processing
- data structure
- statistical analysis
- training data
- parallel processing
- database
- prior knowledge
- xml documents
- input data
- high quality
- spatial data
- raw data
- neural network
- data quality