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

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

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

Подробнее...

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

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

Подробнее...