Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.
Chris MaleDavid J. PearceAlex PotaninConstantine DymnikovPublished in: Sci. Comput. Program. (2011)
Keyphrases
- computational complexity
- matching algorithm
- dynamic programming
- cost function
- high accuracy
- theoretical analysis
- learning algorithm
- search space
- optimization algorithm
- worst case
- simulated annealing
- hardware architecture
- parallel implementation
- times faster
- segmentation algorithm
- computationally efficient
- experimental evaluation
- k means
- input data
- markov random field
- open source
- detection algorithm
- ant colony optimization
- np hard
- recognition algorithm
- hardware implementation
- objective function
- similarity measure