Login / Signup
Performance Evaluation of Asynchronous Circuits with Choice Using Abstract Probabilistic Timed Petri Nets.
Mehrdad Najibi
Mahtab Niknahad
Hossein Pedram
Published in:
ISVLSI (2007)
Keyphrases
</>
asynchronous circuits
timed petri nets
process algebra
discrete event systems
bayesian networks
delay insensitive
model checking
probabilistic model
artificial intelligence
reinforcement learning
random variables