Increasing parallelism in the finite strip formulation: static analysis.

Published in: Neural Parallel Sci. Comput. (1994)

Keyphrases

static analysis
dynamic analysis
source code
java card
regular expressions
malicious code
symbolic execution
database
parallel processing
real world
data flow
abstract interpretation
error rate
shared memory
parallel computing
test generation