Verification of Data Races in Concurrent Interrupt Handlers.
Guy Martin TchamgoueKyong Hoon KimYong-Kee JunPublished in: Int. J. Distributed Sens. Networks (2013)
Keyphrases
- synthetic data
- data sets
- data analysis
- data distribution
- data structure
- raw data
- experimental data
- high quality
- input data
- complex data
- original data
- missing data
- data collection
- data processing
- image data
- database
- knowledge discovery
- prior knowledge
- case study
- sensor data
- noisy data
- databases
- machine learning
- multimedia data
- data acquisition
- metadata
- multimedia
- training data
- query processing
- data mining techniques
- small number