Заборовский, Н. В. Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки [Текст] / Н. В. Заборовский, А. Г. Тормасов> // Прикладная информатика. - 2011. - N 4 (32). - С. 105-110 : 2 рис. - Библиогр.: с. 110 (11 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): многопоточное исполнение -- состояние гонки -- статический анализ Аннотация: Рассмотрен подход к статическому анализу кода на предмет обнаружения состояний гонки. Доп.точки доступа: Тормасов, А. Г. |