• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.

Chanwook OhMichele LoraPierluigi Nuzzo
Published in: ICCAD (2022)
Keyphrases
  • design space exploration
  • stochastic nature
  • design space
  • computer architecture
  • hardware software partitioning
  • supply chain
  • design process
  • high level synthesis
  • model checking
  • image processing