Ви є тут

Системы переписывания формул и их применение в автоматической верификации программ

Автор: 

Ануреев Игорь Сергеевич

Тип роботи: 

Кандидатская

Рік: 

1998

Артикул:

1000208052

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Разработка ассоциативной памяти для систем автономного адаптивного управления на основе систем детерминированного хаоса
• Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений
• Математическое обеспечение процессов сегментации многозональных космических изображений на основе стохастических дифференциальных систем
• Оперативное управление распределением нагрузки в неоднородных информационных системах
• Методы автоматической рубрикации текстов, основанные на машинном обучении и знаниях экспертов
• Исследование и разработка методов выполнения функционально-параллельных программ
• Методы спецификации и верификации параллельных моделей с непрерывным временем
• Алгоритмы и программные средства поиска векторов похожести для сжатия видеоданных
• Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
• Повышение релевантности периодического тематического поиска информации в Web