Login / Signup
A Verifier for Region-Annotated Java Bytecodes.
Sigmund Cherem
Radu Rugina
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
source code
open source
lightweight
region of interest
adjacent regions
object oriented
multi threaded
neural network
genetic algorithm
image structure
java card
java programs