Заседание No. 54, Системы с переполнениями и управление по переполнениям

Докладчик: Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН)
Дата: 14th September 2017
Время: 14:00
Место: зал ученого совета ИПС
Презентация: Download
Annotation:

При разбиении локальных вычислений по областям и (или) диапазонам результаты могут влиять на другие локальные области. Эта ситуация рассматривается в докладе.

План доклада.
1. Напоминание: концепция локальных вычислений и её связь с робастностью. Проблемы при возникновении переполнений.
2. Строгое определение алгебраической системы системы с переполнениями. Четырёхзначная логика и её применение для описания свойств систем Теорема корректности.
3. Управление по переполнениям. Организация вычислений и некоторые приёмы их оптимизации. Оценки числа действий.
4. Частный случай регулярных переполнений и обрабатывающая их схема.
5. Направления дальнейших исследований.