Login / Signup
User-Definable Resource Usage Bounds Analysis for Java Bytecode.
Jorge A. Navas
Mario Méndez-Lojo
Manuel V. Hermenegildo
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
resource usage
real time
high level
databases
data analysis
main memory