Login / Signup

A programming model for semi-implicit parallelization of static analyses.

Dominik HelmFlorian KüblerJan Thomas KölzerPhilipp HallerMichael EichbergGuido SalvaneschiMira Mezini
Published in: ISSTA (2020)
Keyphrases
  • high order
  • image processing
  • finite difference