РОССИЯ 
Проект: НИВЦ МГУ/Theory/EqProg

Теория и методы распознавания эквивалентности схем программ с частично перестановочными операторами

Основные разработчики
НИВЦ МГУ (Научно-исследовательский вычислительный центр МГУ)
проф. Римма Ивановна Подловченко
Тип (теория, программная система, приложение, аппаратные средства) проекта
Теория, с возможным применением для реализации эквивалентных преобразований программ, позволяющих повысить возможности параллельного выполнения.
Краткое описание
Разрабатываются быстрые алгоритмы распознания распознавания эквивалентности схем программ с частично перестановочными операторами. Термин "быстрые алгоритмы" (сложность существенно меньше экспоненциальной) означает, что результаты данных исследований могут быть реализованы в виде практических систем, с приемлемыми требованиями к ресурсам.
Область применения
Возможная теоретическая база для распараллеливающих систем преобразования программ.
Связь с другими проектами/платформами
Нет данных
Завершенность проекта
Получены первые результаты, теория продолжает развивается.
Контакты, ссылки на доп. информацию
Римма Ивановна Подловченко тел: (095) 939-5424, e-mail: rip@vvv.srcc.msu.su

© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
Rambler's Top100