Все книги автора Н. В. Заборовский
Найдено 3 книг
Моделирование многопоточного исполнения программы и метод статического...
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки....
Моделирование операции резервного копирования на нагруженной системе
Моделирование операции резервного копирования на нагруженной системе
В статье предлагается математическая модель вычислительной системы, а также способ ее применения. Ис...
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье...