Н. В. Заборовский
позиции в рейтинге популярности авторов:
ПЕРИОД ПОСЕТИТ.
сутки 1
месяц 1
год 1

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

Книг автора: 2

ПРОИЗВЕДЕНИЯ АВТОРА
многоавторская серия: Прикладная информатика. Научные статьи
  Дата
поступления
Позиция по
посещаемости
Тип
1 Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки 11.07.2017 68   (+68) электронная книга
Тип: электронная книга
Дата поступления: 11.07.2017
Посещаемость: 68   (+68)
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие ци...
2 Статическое обнаружение гонок в коде, содержащем ветвления и циклы 11.07.2017 53   (+53) электронная книга
Тип: электронная книга
Дата поступления: 11.07.2017
Посещаемость: 53   (+53)
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния...