Local Nontermination Detection for Parallel C++ Programs.

Vladimír Still Jiri Barnat

Published in: SEFM (2019)

Keyphrases

detection algorithm
detection accuracy
false alarms
detection rate
automatic detection
massively parallel
parallel implementation
object detection
expert systems
face detection
hough transform
false positives
target detection
data sets
detection method
face recognition
case study
computer vision