Reducing Parallel Program Simulation Complexity by Static Analysis.

Rocco Aversa Beniamino Di Martino Nicola Mazzocca Umberto Villano

Published in: J. Supercomput. (2000)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
java card
malicious code
regular expressions
abstract interpretation
parallel processing
simulation model
test generation
artificial intelligence
data sets
knowledge base
computational complexity