Locality-Driven Parallel Static Analysis for Power Delivery Networks.
Zhiyu ZengZhuo FengPeng LiVivek SarinPublished in: ACM Trans. Design Autom. Electr. Syst. (2011)
Keyphrases
- static analysis
- packet switched
- dynamic analysis
- source code
- regular expressions
- computer networks
- symbolic execution
- malicious code
- network structure
- parallel processing
- test generation
- java card
- abstract interpretation
- power consumption
- artificial intelligence
- parallel computing
- open source
- complex networks
- pattern matching
- shared memory
- data management
- domain knowledge