Login / Signup
Abstract Execution.
Dominic Steinhöfel
Reiner 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