Login / Signup

Certified Result Checking for Polyhedral Analysis of Bytecode Programs.

Frédéric BessonThomas P. JensenDavid PichardieTiphaine Turpin
Published in: TGC (2010)
Keyphrases
  • statistical analysis
  • data analysis
  • high level
  • multiscale
  • real time
  • quantitative analysis