Login / Signup
CacBDD: A BDD Package with Dynamic Cache Management.
Guanfeng Lv
Kaile Su
Yanyan Xu
Published in:
CAV (2013)
Keyphrases
</>
random access
cache management
garbage collection
query processing
distributed object
website
boolean functions
binary decision diagrams