Using Control Dependencies for Space-Aware Bytecode Verification.

Cinzia Bernardeschi Giuseppe Lettieri Luca Martini Paolo Masci

Published in: Comput. J. (2006)

Keyphrases

control system
java card
higher dimensional
open source
source code
low dimensional
smart card
dependency analysis
data dependencies
space requirements
adaptive control
optimal control
control strategy
genetic algorithm
vector space
principal component analysis
search space
learning algorithm