HOL4P4: semantics for a verified data plane.
Anoud AlshnakatDidrik LundbergRoberto GuancialeMads DamKarl PalmskogPublished in: EuroP4@CoNEXT (2022)
Keyphrases
- data collection
- data sets
- database
- image data
- data quality
- statistical analysis
- data processing
- raw data
- data analysis
- synthetic data
- data structure
- knowledge discovery
- small number
- data mining techniques
- data points
- data sources
- high dimensional data
- spatial data
- data distribution
- original data
- training data
- complex data