Тема № 39.1.2. Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей.

22.01.2018

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

ГРНТИ

50.41.23 Программное обеспечение вычислительных сетей

50.05.15 Теория и проблематика программирования для вычислительных сетей

28.25.23 Кибернетические аспекты структурно-логической теории алгоритмов и программирования

50.07.05 Теория вычислительных систем высокой производительности

Ключевые слова

МЕТОДЫ И СРЕДСТВА ОПИСАНИЯ И РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ И РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ; ЯЗЫК CLOUD SISAL; СИСТЕМА УПРОЩЕНИЯ КОМПИЛЯТОРНЫХ ТЕСТОВ REDUCE; СЛОВАРЬ ПО ТЕОРИИ ГРАФОВ WIKIGRAPP; ЭНЦИКЛОПЕДИЯ ТЕОРЕТИКО-ГРАФОВЫХ АЛГОРИТМОВ WEGA; СИСТЕМА ВИЗУАЛИЗАЦИИ АТРИБУТИРОВАННЫХ ИЕРАРХИЧЕСКИХ ГРАФОВ VISUAL GRAPH

Детали

Начало

01.01.2018

Окончание

31.12.2020

№ контракта

007-00226-18-00

Заказчик

Федеральное агентство научных организаций

Исполнитель

Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук

Бюджет