Runtime verification for multicore SoC with high-quality trace data.
Rico BackaschChristian HochbergerAlexander WeissMartin LeuckerRichard LasslopPublished in: ACM Trans. Design Autom. Electr. Syst. (2013)
Keyphrases
- high quality
- data sets
- statistical analysis
- low quality
- training data
- image data
- experimental data
- end users
- knowledge discovery
- data processing
- data collection
- synthetic data
- data analysis
- real time
- data distribution
- complex data
- historical data
- computer systems
- input data
- database
- probability distribution
- data sources
- image quality
- data mining techniques
- small number
- missing data
- semi supervised
- model checking
- original data
- hardware and software
- information systems
- neural network
- computing power