A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units.

Markus Anders Klaus Schneider

Published in: ACSD (2019)

Keyphrases

formal semantics
processing units
parallel computing
parallel processing
logical language
computing systems
modeling language
logical reasoning
parallel programming
modelling language
multiple types
theorem prover
first order logic
general purpose
real time
probabilistic model
expert systems
information systems