Login / Signup
Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.
Rakshit Mittal
Rochishnu Banerjee
Dominique Blouin
Soumyadip Bandyopadhyay
Published in:
ICSOFT (2021)
Keyphrases
</>
colored petri nets
petri net
parallel processing
levels of abstraction
data sets
neural network
decision making
metadata
multi agent
learning environment
video sequences
expert systems
machine translation