Parallelism for Free: Bitvector Analyses -> No State Explosion!

Jens Knoop Bernhard Steffen Jürgen Vollmer

Published in: TACAS (1995)

Keyphrases

artificial intelligence
multiresolution
statistical analysis
parallel architectures
database
real time
neural network
real world
website
database systems
special case
state space
massively parallel