Search
Now showing items 1-3 of 3
Гарантоспособность и гарантноспособные системы: элементы методологии
(ХАІ, 2006)
Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и ...
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 2006)
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются ...
Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
(ХАІ, 2009)
Анализируются таксономические, методологические и технологические аспекты гарантоспособных
вычислений.