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