A software control flow checking technique in multi-core processors.
Mohammad Reza Heidari ImanPejman YaghmaiePublished in: Int. J. Embed. Syst. (2020)
Keyphrases
- control flow
- multi core processors
- data flow
- software testing
- process model
- workflow management systems
- parallel programming
- modeling language
- computing resources
- formal semantics
- artificial intelligence
- real world
- distributed systems
- object oriented
- programming environment
- training data
- gene expression programming
- genetic algorithm