p4v: practical verification for programmable data planes.
Jed LiuWilliam T. HallahanCole SchlesingerMilad SharifJeongkeun LeeRobert SouléHan WangCalin CascavalNick McKeownNate FosterPublished in: SIGCOMM (2018)
Keyphrases
- data sets
- data analysis
- database
- data processing
- image data
- data sources
- real time
- complex data
- application domains
- data points
- three dimensional
- data distribution
- data mining techniques
- social networks
- neural network
- data quality
- missing values
- model checking
- experimental data
- real world
- sensor data
- labeled data
- training set
- low cost
- knowledge discovery
- high quality
- data model
- xml documents