Modular Data Plane Verification for Compositional Networks.
Xu LiuPeng ZhangHao LiWenbing SunPublished in: PACMNET (2023)
Keyphrases
- data sets
- image data
- high quality
- statistical analysis
- raw data
- data points
- synthetic data
- complex data
- data sources
- data collection
- data distribution
- network structure
- data structure
- historical data
- data objects
- data quality
- computer systems
- data acquisition
- high dimensional data
- probability distribution
- prior knowledge
- training data
- three dimensional
- data mining