Login / Signup
ART: An Actor transition systems RunTime for enabling efficient partitioning of neural network graphs.
Endri Bezati
Published in:
CODAI (2023)
Keyphrases
</>
neural network
transition systems
concurrent systems
object oriented
temporal logic
graph partitioning
case study