A model of dynamical concurrent program execution.

V. A. Vasenin Maxim A. Krivchikov

Published in: Program. Comput. Softw. (2013)

Keyphrases

program execution
formal model
computational model
statistical model
mathematical model
high level
probabilistic model
programming language
theoretical framework
theoretical analysis
em algorithm
experimental data
learning algorithm
object oriented
management system
learning environment
image sequences
case study