Контент с тегом engineering .

КриКТехС 2012-4

Очередное заседание семинара состоится 18 мая 2012 г. в 14.30 в ауд. 235 радиокорпуса ХАИ. Тема заседания : Проблемы практической разработки систем на программируемой логике и автоматизации проектирования. Доклады: Узкие места в синтезе аппаратных средств и автоматизации проектирования (Эллерви П.). Информация: Семестр в американском университете:...

КриКТехС 2006-5

Очередное заседание семинара состоится 16 ноября 2006 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы и информационные технологии анализа и поддержки развития и реинжиниринга  компьютерных сетей. Доклады: Анализ производительности прикладных серверов компьютерных сетей (методы и средства) (Хошаба А.М.); Модели и информационные технологии...

КриКТехС 2005-7

Очередное заседание семинара состоится 25 ноября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные принципы построения, методы и технологии  проектирования критического програмного обеспечения. Доклады: Программное обеспечение наземной инфраструктуры и бортовых систем космических аппаратов (Туркин И.Б.); Методы и инструментальные...

КриКТехС 2005-6

Очередное заседание семинара состоится 28 октября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные методы и технологии  проектирования и верификации параллельных программ и систем с программируемой логикой. Доклады: Автоматическое проектирование и верификация параллельных программ (Поляков Г.А., Толстолужская Е.Г., Толстолужский...

КриКТехС 2005-4

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

КриКТехС 2004-2

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

КриКТехС 2003-5

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

КриКТехС 2003-3

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

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

Докладчики