|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/zhurnal/tom_2006/v7r207.html
Дата изменения: Wed Sep 20 17:14:02 2006 Дата индексирования: Mon Oct 1 20:45:54 2012 Кодировка: Windows-1251 |
|
Построение формальной модели Т-системы и исследование ее корректности
Водомеров А.Н. |
|
В статье исследуются методы распараллеливания программ, применяемые в Т-системе – средстве автоматического динамического распараллеливания вычислительных приложений. Отличительная особенность Т-системы от аналогичных средств – ориентация на программы, написанные на широко распространенных языках C, C++. В работе построена формальная модель для базовых конструкций Т-системы с помощью операционного подхода. В рамках модели доказывается корректность используемых механизмов. Разработанная модель была положена в основу новой реализации Т-системы. |
| Водомеров А.Н. - Научно-исследовательский институт механики МГУ им. М.В. Ломносова, 119192, Москва; e-mail: alexander.vodomerov@gmail.com |