Dynamic Race Detection Techniques for Interrupt-Driven Programs.
Guy Martin TchamgoueKyong Hoon KimYong-Kee JunPublished in: FGIT (2012)
Keyphrases
- detection scheme
- detection method
- dynamic environments
- data driven
- automated detection
- detection rate
- false positives
- detection algorithm
- learning environment
- search algorithm
- databases
- image sequences
- case study
- image processing
- infrared
- knowledge base
- information systems
- false alarms
- detection accuracy
- computer vision
- machine learning