Главная Н. В. Заборовский

Автор: Н. В. Заборовский

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки.

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Моделирование операции резервного копирования на нагруженной системе.

Моделирование операции резервного копирования на нагруженной системе

Статическое обнаружение гонок в коде, содержащем ветвления и циклы.

Статическое обнаружение гонок в коде, содержащем ветвления и циклы