Login / Signup
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
Riley Roberts
Benjamin Lewis
Arnd Hartmanns
Prabal Basu
Sanghamitra Roy
Koushik Chakraborty
Zhen Zhang
Published in:
CoRR (2021)
Keyphrases
</>
network on chip
probabilistic model
bayesian networks
network simulator
routing algorithm
scheduling problem
low cost
cloud computing
model checking