Static Race Detection for RTOS Applications.

Rishi Tulsyan Rekha Pai Deepak D'Souza

Published in: FSTTCS (2020)

Keyphrases

object detection
detection algorithm
detection method
false alarms
false positives
detection accuracy
detection rate
real time
neural network
change detection
real world
information retrieval
decision making
face detection