Login / Signup

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth PrabhuDeepak D'SouzaSupratik ChakrabortyR. VenkateshGrigory Fedyukovich
Published in: TACAS (2) (2024)
Keyphrases
  • linear array
  • processing elements
  • bayesian networks
  • fine grained
  • search space
  • upper bound
  • general purpose
  • constraint satisfaction problems