Научно-исследовательская работа в области: формальные методы разработки программного обеспечения, реинжениринг, методы формальных спецификации, объектно-ориентированные системы управления базами данных, компиляторы для языков параллельного программирования, модульное параллельное программирование, распределенные объектно-ориентированные системы, алгоритмы для параллельных вычислений, математические методы анализа алгоритмов, научная визуализация, нейронные сети.
Страна: РОССИЯ
Регион: Москва
Наименование предприятия: "Институт системного программирования РАН"
Тип продукции, услуг:
Сайт: www.ispras.ru