Технические науки
ВЕРИФИКАЦИЯ ВОССТАНОВЛЕННЫХ ВЫЧИСЛЕНИЙ С УЧЕТОМ СТАТИЧЕСКИХ И ДИНАМИЧЕСКИХ СВОЙСТВ ВЫЧИСЛИМОСТИ
Петренко Сергей Анатольевич 1, Петренко Алексей Сергеевич 2, Ломако Александр Григорьевич 3
1. Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова (Ленина) 2. Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова (Ленина) 3. Военно-космическая академия им. А. Ф. Можайского, г. Санкт-Петербург
Резюме:
Рассмотрены возможные модели и методы верификации восстановленных вычислений с учетом статических и динамических свойств вычислимости.
Ключевые слова: верификация восстановленных вычислений., самовосстановление вычислений, возмущения вычислений, деструктивные воздействия на машинные вычисления, Машинные вычисления
Комментарии (0)
|
