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

СО РАН

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

Программа IV.32.2. Математические, системные и прикладные аспекты перспективных информационных технологий, автоматизации программирования и управления

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

Проекты:

IV.32.2.1. Методологии и технологии создания фактографических систем, поддержки образовательной и научной деятельности (2010 - 2012 год)
Руководитель(и): д.ф.-м.н. А.Г. Марчук (Институт систем информатики им. А.П. Ершова СО РАН)
IV.32.2.2. Методы и технологии конструирования и оптимизации программных систем для суперкомпьютеров и компьютерных сетей (2010 - 2012 год)
Руководитель(и): д.ф.-м.н. В.Н. Касьянов (Институт систем информатики им. А.П. Ершова СО РАН)
IV.32.2.3. Теоретические и экспериментальные исследования моделей и методов спецификации, семантики и верификации программ и систем (2010 - 2012 год)
Руководитель(и): к.ф.-м.н. В.А. Непомнящий, к.ф.-м.н. В.Л. Селиванов (Институт систем информатики им. А.П. Ершова СО РАН)
IV.32.2.4. Методы и технологии создания интеллектуальных информационных систем и систем поддержки принятия решений (2010 - 2012 год)
Руководитель(и): к.ф.-м.н. Ю.А. Загорулько (Институт систем информатики им. А.П. Ершова СО РАН)
IV.32.2.5. Математическое и программное обеспечение для моделирования сложных систем (2010 - 2012 год)
Руководитель(и): к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А. Бульонков (Институт систем информатики им. А.П. Ершова СО РАН)

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

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