A formal model of a system for automated program parallelization.

V. A. Vasenin Alexander Vodomerov

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

Keyphrases

formal model
parallel processing
semi automated
security properties
computer programs
program execution
computer aided
fully automated
formal models
probabilistic knowledge
security patterns
data sets
automated analysis
model checking
semantic web
information systems
neural network