A Formal Framework for the Analysis of Recursive-Parallel Programs.

Olga Kouchnarenko Philippe Schnoebelen

Published in: PaCT (1997)

Keyphrases

statistical analysis
main contribution
analysis tool
genetic algorithm
image analysis
quantitative analysis
formal analysis
data mining
video sequences
data analysis
parallel processing