Справочно-информационная система СО РАН - Основные научные результаты

СО РАН

Приоритетное направление:
	IV.39. Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.

Программа IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий

Координатор(ы): д.ф.-м.н. А.Г. Марчук

Проекты:

IV.39.1.1. Исследования фундаментальных основ структуризации данных, управления информационными ресурсами, создание информационно-вычислительных систем и сред для науки и образования (2013 - 2016 год)
Руководитель(и): д.ф.-м.н. А.Г. Марчук (Институт систем информатики им. А.П. Ершова СО РАН)
IV.39.1.2. Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей (2013 - 2016 год)
Руководитель(и): д.ф.-м.н. В.Н. Касьянов (Институт систем информатики им. А.П. Ершова СО РАН)
IV.39.1.3. Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации (2013 - 2016 год)
Руководитель(и): д.ф.-м.н. И.Б. Вирбицкайте, к.ф.-м.н. В.А. Непомнящий (Институт систем информатики им. А.П. Ершова СО РАН)
IV.39.1.4. Методы и технологии создания и сопровождения интеллектуальных информационных систем и систем поддержки принятия решений (2013 - 2016 год)
Руководитель(и): к.т.н. Ю.А. Загорулько (Институт систем информатики им. А.П. Ершова СО РАН)
IV.39.1.5. Алгоритмы и программное обеспечение для моделирования сложных систем (2013 - 2016 год)
Руководитель(и): к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А. Бульонков (Институт систем информатики им. А.П. Ершова СО РАН)

[по направлениям] ||[по институтам] ||[по годам] ||[поиск] ||[содержание]

Разработано и поддерживается Институтом вычислительных технологий СО РАН