Sign in

Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.

Riley RobertsBenjamin LewisArnd HartmannsPrabal BasuSanghamitra RoyKoushik ChakrabortyZhen Zhang
Published in: FMICS (2021)
Keyphrases
  • network on chip
  • routing algorithm
  • probabilistic model
  • bayesian networks
  • real time
  • model checking
  • peer to peer
  • multi processor
  • web services
  • end to end
  • network simulator
  • packet switched