C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Error Invariants for Concurrent Traces.
Andreas Holzer
Daniel Schwartz-Narbonne
Mitra Tabaei Befrouei
Georg Weissenbacher
Thomas Wies
Published in:
CoRR (2016)
Keyphrases
</>
error rate
moment invariants
search algorithm
error bounds
prediction error
error analysis
error detection
error measure
linear complexity