Login / Signup

Probabilistic Verification for Reliable Network-on-Chip System Design.

Benjamin LewisArnd HartmannsPrabal BasuRajesh Jayashankara ShrideviKoushik ChakrabortySanghamitra RoyZhen Zhang
Published in: FMICS (2019)
Keyphrases
  • probabilistic model
  • web services
  • bayesian networks
  • design process
  • model checking
  • routing algorithm