Login / Signup
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.
Rakshit Mittal
Rochisnu Banerjee
Santonu Sarkar
Soumyadip Bandyopadhyay
Published in:
PNSE@Petri Nets (2020)
Keyphrases
</>
probabilistic model
data sets
high level
data model
statistical model
statistical models
data mining
knowledge base
bayesian networks
complex systems
computer programs
model validation