C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.
Chanwook Oh
Michele Lora
Pierluigi 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