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