Login / Signup
PJBDD: A BDD Library for Java and Multi-Threading.
Dirk Beyer
Karlheinz Friedberger
Stephan Holzner
Published in:
ATVA (2021)
Keyphrases
</>
multithreading
multi threaded
computational power
parallel computing
highly efficient
cross platform
coarse grained
distributed memory
memory efficient
data partitioning
message passing
fine grained
boolean functions
shared memory
query optimization
query execution
multi core processors
co occurrence
object oriented