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

СО РАН

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

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

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

Проекты:

4.6.2.1. Новые информационные технологии, направленные на создание фактографических систем, поддержку образовательной и научной деятельности (2007 - 2009 год)
(Институт систем информатики им. А.П. Ершова СО РАН)
4.6.2.2. Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем (2007 - 2009 год)
(Институт систем информатики им. А.П. Ершова СО РАН)
4.6.2.3. Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем (2007 - 2009 год)
(Институт систем информатики им. А.П. Ершова СО РАН)
4.6.2.4. Методы и технологии создания интеллектуальных информационных и вычислительных систем (2007 - 2009 год)
(Институт систем информатики им. А.П. Ершова СО РАН)
4.6.2.5. Алгоритмы и программный инструментарий для моделирования сложных систем (2007 - 2009 год)
(Институт систем информатики им. А.П. Ершова СО РАН)

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

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