Login / Signup
Fast, Sound and Effectively Complete Dynamic Race Detection.
Andreas Pavlogiannis
Published in:
CoRR (2019)
Keyphrases
</>
detection algorithm
detection method
dynamically changing
detection accuracy
automatic detection
dynamic environments
automated detection
databases
false positives
information systems
object detection
hidden markov models
change detection
detection rate
similarity measure
real world
detection scheme
neural network