Cache Preemption Related Delay Accounting via Static Analysis and Functional Simulation.

Renan Augusto Starke Rômulo Silva de Oliveira

Published in: SBESC (2012)

Keyphrases

static analysis
dynamic analysis
source code
java card
databases
symbolic execution
artificial intelligence
query processing
model checking
data access
test generation
malicious code