Моделі обчислень для масштабованих кластерних систем

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

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

Завантажити (pdf)