Reducing Parallel Program Simulation Complexity by Static Analysis.
Rocco AversaBeniamino Di MartinoNicola MazzoccaPublished in: PDPTA (1999)
Keyphrases
- static analysis
- dynamic analysis
- symbolic execution
- source code
- malicious code
- java card
- worst case
- regular expressions
- simulation model
- test generation
- test suite
- open source
- building blocks
- shared memory
- asynchronous cellular automata
- abstract interpretation
- data sets
- pattern matching
- computational complexity
- databases