Login / Signup

KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities.

Bernhard GarnFabian WürflDimitris E. Simos
Published in: Haifa Verification Conference (2017)
Keyphrases
  • analysis tool
  • linux kernel
  • databases
  • medical images
  • artificial intelligence
  • image analysis
  • object oriented
  • software engineering
  • statistical analysis
  • computational power
  • memory usage