Login / Signup

Localising unsafe software resource usage with typed code model.

Lavrentii TsvetkovAnton Spivak
Published in: FRUCT (2017)
Keyphrases
  • objective function
  • real time
  • management system
  • response time
  • resource usage