Модели вычислений для масштабируемых кластерных систем

Корочкин А.В., Березовский А.Н.

В работе рассматривается подход к разработке программных компонент для масштабируемых кластерных систем, основанный на использовании моделей вычислений. Предложены модели вычислений, основанные на применении теории последовательных взаимодействующих процессов Ч.Хоара. Показана возможность использования моделей для повышения качества программ и сокращения времени их разработки.

Загрузить (pdf)