Login / Signup

Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis.

Amine Marref
Published in: ICSAMOS (2011)
Keyphrases
  • fully automatic
  • semi automatic
  • fully automated
  • image analysis
  • mri data
  • lower bound
  • flow field
  • static analysis