RedCard: Redundant Check Elimination for Dynamic Race Detectors.

Cormac Flanagan Stephen N. Freund

Published in: ECOOP (2013)

Keyphrases

object detection
dynamic environments
neural network
data mining
machine learning
feature selection
similarity measure
multiscale
multi agent systems
object recognition
dynamically changing