Aquila: a practically usable verification system for production-scale programmable data planes.
Bingchuan TianJiaqi GaoMengqi LiuEnnan ZhaiYanqing ChenYu ZhouLi DaiFeng YanMengjing MaMing TangJie LuXionglie WeiHongqiang Harry LiuMing ZhangChen TianMinlan YuPublished in: SIGCOMM (2021)
Keyphrases
- data processing
- data sets
- synthetic data
- statistical analysis
- data points
- data quality
- high quality
- image data
- input data
- complex data
- data objects
- sensor data
- knowledge discovery
- three dimensional
- sensor networks
- low cost
- data collection
- data analysis
- data structure
- training data
- end users
- xml documents
- privacy preserving
- attribute values
- experimental data
- data distribution
- big data
- databases