Поставщик: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК

Предметы: Выполнение работ по разработке унифицированной среды разработки безопасного отечественного программного обеспечения и еще 2

Предметы: Выполнение работ по созданию инфраструктуры для систематического исследования безопасности критичных компонентов, составляющих основу российских дистрибутивов операционных систем и иных программных средств и еще 2

Предметы: Выполнение работ по созданию технологического центра исследования безопасности операционных систем, созданных на базе ядра Linux, включая разработку проектной (технической) документации и создание программно-аппаратного комплекса центра исследования безопасности операционных систем и еще 1

Предмет: Выполнение научно-исследовательской работы "Исследование перспективных технологий верификации программного обеспечения встроенных систем реального времени".

Предмет: Услуги и работы, связанные с научными исследованиями и экспериментальными разработками

Предмет: Услуги, связанные с научными исследованиями и экспериментальными разработками в области медицинских наук

Предмет: Услуги, связанные с научными исследованиями и экспериментальными разработками в области технических наук и в области технологий, прочие, кроме биотехнологии

Предмет: Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения

Предмет: Услуги, связанные с научными исследованиями и экспериментальными разработками в области технических наук и в области технологий, прочие, кроме биотехнологии

Предмет: Услуги, связанные с научными исследованиями и экспериментальными разработками в области компьютерных наук и информационных технологий

Предмет: Исследования перспективных средств автоматизации процессов системной интеграции и верификации модульной авионики воздушных судов

Предмет: НИР по теме: Построение социо-демографического профиля пользователей сети Интернет.

Предмет: Шифр: 2013-1.4-14-514-0092Предмет государственного контракта по лоту № 1:Выполнение поисковых научно-исследовательских работ по теме: «Исследование и разработка методов, обеспечивающих возможность автоматического обнаружения логических ошибок и шаблонов неэффективного поведения в параллельных приложениях и их реализации в web-среде в виде программного комплекса».

Предмет: Реализация потенциала суперкомпьютеров для масштабируемого численного моделирования задач газо- и гидродинамики в индустриальных приложениях с использованием свободного программного обеспечения

Предмет: Методы суперкомпьютерного моделирования вихревых нестационарных турбулентных течений газа и генерируемых ими акустических полей на основе открытого кода в расчетах промышленно-ориентированных задач для авиационных приложений

Предмет: Разработка программно-аппаратной платформы «виртуальный суперкомпьютер», обеспечивающей использование суперкомпьютеров на основе технологий виртуализации.

Предмет: Проведение исследований и создание научно-технического задела по созданию вычислительной платформы с набором средств разработки (API) для проведения автоматизированных инженерных расчетов больших задач аэро-гидродинамики на суперкомпьютерах петафлопного класса.

Предмет: Методы автоматизации тестирования драйверов и модулей ядра операционной системы Linux

Предмет: Автоматизация анализа совместимости компьютерного оборудования с операционными системами.

Предмет: «Проектирование и разработка web-ориентированного производственно-исследовательского центра, ориентированного на решение задач анализа программ»

Предмет: Адаптивный статический анализ программного обеспечения

Предмет: 7310010: Интеллектуальная продукция в области естественных наук(открытия, изобретения, алгоритмы, аналитические обзоры, классификации, научные статьи, доклады, монографии, учебники и учебные пособия, тематические подборки, библиографии, рефераты, методики и прочее)

Предмет: Высокоуровневые модели параллельных вычислений и их библиотеки поддержки времени выполнения

Предмет: Организация доступа к распределенным ресурсам от уровня инфраструктуры до уровня приложения как к Web-сервису

Предмет: Проведение поисковых научно-исследовательских работ по направлению «Распределенные вычислительные системы», по проблеме «Исследование и разработка системы, обеспечивающей эксплуатацию различных приложений на разнородных распределенных вычислительных ресурсах»