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