КриКТехС 2004-2

Очередное заседание семинара состоится 23 апреля 2004 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы проектирования и независимой верификации критического ПО. Доклады: Семантический метод независимой верификации ПО систем критического применения (Манжос Ю.С.); Многоверсионное проектирование критического ПО: модели жизненного цикла и метрики...

КриКТехС 2004-1

Очередное заседание семинара состоится 25 марта 2004 г. в 14.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Информационное взаимодействие и гарантоспособность компьютерных систем. Доклады: Автоматизированное управление информационным взаимодействием в распределенных системах на основе специфицированных протокольных автоматов (Апраксин Ю.К.); О...

КриКТехС 2003-6

Очередное заседание семинара состоится 28 ноября 2003 г. Тема заседания : Современные проблемы и методы обеспечения надежности Web-систем. Доклады: Методы анализа и обеспечения устойчивости поисковых систем к воздействию на открытую коллекцию документов (Садовский А.А.); Анализ отказоустойчивых архитектур Web-систем (Фурманов А.А., Гуров А.М.).

КриКТехС 2003-5

Очередное заседание семинара состоится 31 октября 2003 г. Тема заседания : Автоматическое проектирование и верификация параллельных спецпроцессоров. Доклады: Технология совместного автоматического проектирования параллельных аппаратно-программных средств Адаптивных Самоорганизующихся Вычислительных Систем (Поляков Г.А.); Методика и программные средства...

КриКТехС 2003-4

Очередное заседание семинара состоится 30 мая 2003 г. Тема заседания : Современные сетевые технологии и их приложения в промышленных и телекоммуникационных системах. Доклады: Промышленные сети микроконтроллеров: состояние и перспективы (Плахтеев А.П.); Методы передачи данных по волоконно-оптическим каналам связи в компьютерных сетях (Бабий С.М.).

КриКТехС 2003-3

Очередное заседание семинара состоится 18 апреля 2003 г. в 14.30 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы и средства диагностирования и проектирования самоконтролируемых цифровых систем с программируемой логикой. Доклады: Методы и средства автоматизированного проектирования в комплексах диагностирования цифровых систем с программируемой логикой...

КриКТехС 2003-2

Очередное заседание семинара состоится 28 марта 2003 г. Тема заседания : Методы обеспечения надежности и безопасности компьютерных сетей. Доклады: Диверсность в системах защиты информации корпоративных сетей (Гоффер А.В.); Модели и алгоритмы проектирования надежных телекоммуникационных сетей (Момот М.А.).

КриКТехС 2003-1

Очередное заседание семинара состоится 7 февраля 2003 г. в 14:00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные стандарты и инструментальные системы поддержки верификации и зкспертизы критического программного обеспечения. Доклады: Концепция, принципы построения и реализации инструментальной системы поддержки независимой верификации и экспертизы ПО...

КриКТехС 2002-9

Очередное заседание семинара состоится 20 декабря 2002 г. в 15:00 в ауд. 411 учебного корпуса ПВИС. Тема заседания : Методы и технические средства обеспечения безопасности информации, помехоустойчивого кодирования, исключения избыточности. Доклады: Защита объектов управления и связи от разведки побочных электромагнитных излучений и наводок (Багаев В.Д.); ...

КриКТехС 2002-8

Очередное заседание семинара состоится 29 ноября 2002 г. в 15:00 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Методы кодирования информации в системах цифровой обработки сигналов и изображений. Доклады: Алгеброгеометричекие коды. Современное состояние (Халимов Г.З.); Алгоритмы экономичного кодирования биомедицинских сигналов (Наседкин К.В.); Принципы и...

КриКТехС 2002-7

Очередное заседание семинара состоится 4 октября 2002 г. в 15:00 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Методы и технологии проектирования цифровых систем на программируемых логических интегральных схемах (ПЛИС). Доклады: Технологии проектирования отказоустойчивых цифровых систем на ПЛИС (Тарасенко В.В.); Дедуктивно-параллельный метод моделирования и...

КриКТехС 2002-6

Очередное заседание семинара состоится 7 июня 2002 г. в 15:00 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Программируемые параллельные логические контроллеры в системах критического применения. Доклады: Идеология, архитектура и опыт применения программируемых логических управляющих автоматов параллельного действия (Фурман И.А.); Безопасная реализация...

КриКТехС 2002-5

Очередное заседание семинара состоится 29 мая 2002 г. Тема заседания: Разработка математического и программного обеспечения специализированных компьютерных систем и сетей. Доклады: Исследование технологии OLE DB (Данильченко О.А.); Фильтрация IP - трафика в среде Windows NT (Берёза П.В.); Разработка безопасной почтовой системы (Александров Е.И.); ...

КриКТехС 2002-4

Очередное заседание семинара состоится 26 апреля 2002 г. Тема заседания: Методы контроля и обеспечения отказоустойчивости программных и аппаратных средств бортовых вычислительных систем. Доклады: Методы семантического контроля программного обеспечения бортовых ЦВК (Манжос Ю.С.); Проблемы разработки отказоустойчивых БЦВК с использованием электронных компонент...

КриКТехС 2002-3

Очередное заседание семинара состоится 29 марта 2002 г. Тема заседания: Методы и средства обеспечения отказоустойчивости бортовых систем управления и обработки информации на СБИС. Доклады: Методы обеспечения отказоустойчивости систолических матричных спецпроцессоров СБИС (Благодарный Н.П.); Проблемы и опыт разработки отказоустойчивых бортовых систем...

КриКТехС 2002-2

Очередное заседание семинара состоится 22 февраля 2002 г. Тема заседания: Средства хранения и криптографической защиты. Доклады: Средства криптографической защиты информации в компьютерных сетях (Горбенко И.Д., Замула А.А.); Системы распределённого хранения информации (Надточей А.Л.).

КриКТехС 2002-1

Очередное заседание семинара состоится 25 января 2002 г. Тема заседания: Методы и инструментальные средства тестирования и поддержки экспертизы программного обеспечения. Доклады: Концепция и принципы разработки инструментальной среды поддержки независимой экспертизы критического программного обеспечения (Конорев Б.М.); Процессы и технологии тестирования...

КриКТехС 2001-5

Очередное заседание семинара состоится 20 декабря 2001 г. Тема заседания: Принципы построения и обеспечения надежности компьютерных сетей, основанных на открытых стандартах, для систем критического применения. Доклады: Возможности использования сетевых технологий, построенных на открытых стандартах, в критических приложениях (Хлестков В.И.); Анализ методов и...

КриКТехС 2001-4

Очередное заседание семинара состоится 30 ноября 2001 г. Тема заседания: Компьютерная система картографического обеспечения управления природопользованием, ресурсами и чрезвычайными ситуациями в иерархических органах исполнительной власти. Доклады: Принципы построения и использования компьютерных систем картографического обеспечения управления...

КриКТехС 2001-3

Очередное заседание семинара состоится 26 октября 2001 г. Тема заседания: Проектирование отказоустойчивых цифровых систем на программируемых логических интегральных схемах (ПЛИС). Доклады: Анализ современных ПЛИС и средств их автоматизированного проектирования (Ушаков А.А.); Принципы построения отказоустойчивого бортового оборудования на ПЛИС фирмы Altera...

КриКТехС 2001-2

Очередное заседание семинара состоится 03 июля 2001 г. Тема заседания: Методы обеспечения отказоустойчивости и средства аппаратной синхронизации бортовых цифровых вычислительных комплексов на однокристальных микро-ЭВМ. Доклады: Эволюционный анализ архитектур, методов и средств обеспечения отказоустойчивости БЦВК (Лысенко И.В., Байда Н.К.); Отказоустойчивые...

КриКТехС 2001-1

Заседание семинара состоится 31 мая 2001 г. Тема заседания: Многоверсионные информационные технологии и проблема надежности и безопасности комплексов критического применения. Доклады: Многоверсионные технологии и системы в задачах обеспечения надежности и безопасности комплексов критического применения (Харченко В.С.); Методы оценки надежности программных...
Показывается результатов: 126 - 147 из 147.
Предметов на странице 25
из 6

Навигация по категориям

Докладчики