Login / Signup
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.
Michael D. Jones
Ganesh Gopalakrishnan
Published in:
FMCAD (2000)
Keyphrases
</>
computational cost
high speed
machine learning methods
empirical studies
preprocessing
object oriented
benchmark datasets
classification method
complex networks