Formal Techniques for Development and Auto-tuning of Parallel Programs.

Anatoliy Doroshenko Pavlo A. Ivanenko Olena Yatsenko

Published in: SN Comput. Sci. (2023)

Keyphrases

development process
parallel processing
database
case study
software engineering
hardware architectures
data mining
multi agent
formal model
rapid development
parallel implementation