Login / Signup

Abstract Execution.

Dominic SteinhöfelReiner Hähnle
Published in: FM (2019)
Keyphrases
  • high level
  • artificial intelligence
  • three dimensional
  • higher level
  • execution model
  • neural network
  • image processing
  • data flow
  • control flow
  • parallel execution
  • plan generation