C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
C-based behavioral synthesis and verification analysis on industrial design examples.
Kazutoshi Wakabayashi
Published in:
ASP-DAC (2004)
Keyphrases
</>
industrial design
statistical analysis
search engine
real time
neural network
feature selection
decision trees
multiresolution
petri net
model checking
quantitative analysis
texture synthesis