ИСТИНА

• Охват: Всероссийская с международным участием
• Даты проведения: 2009
• Место проведения: Москва, Russia
• Добавил в систему: Бычков Иван Алексеевич

Доклады:

• 2009 Задачи построения расписания обменов и выбора структуры сети для кольца с арбитражем
• Автор: Бычков И.А.

• 2009 Методика поиска оптимального набора механизмов отказоустойчивости для вычислительных систем реального времени (Устный)
• Авторы: Бахмуров А.Г., Смелянский Р.Л., Волканов Д.Ю.

• 2009 Релевантный обратный вывод и верификация логических программ на основе решения уравнений в LP-структурах
• Автор: Махортов С.Д.

• 2009 Стенд полунатурного моделирования для разработки встроенных вычислительных систем (Устный)
• Авторы: Балашов В.В., Бахмуров А.Г., Ющенко Н.В., Смелянский Р.Л., Чистолинов М.В., Волканов Д.Ю.