Static Race Detection for RTOS Applications.
Rishi TulsyanRekha PaiDeepak D'SouzaPublished in: CoRR (2020)
Keyphrases
- object detection
- false alarms
- automatic detection
- false positives
- anomaly detection
- oil spill
- databases
- detection method
- detection algorithm
- face recognition
- information systems
- real world
- neural network
- multiscale
- probabilistic model
- multi class
- image segmentation
- decision trees
- knowledge base
- change detection
- detection rate
- information retrieval
- detection scheme
- automated detection