Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Заборовский, Н. В.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


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


Доп.точки доступа:
Тормасов, А. Г.

Найти похожие
2.


    Заборовский, Н. В.
    Статическое обнаружение гонок в коде, содержащем ветвления и циклы [Текст] / Заборовский Н. В., Тормасов А. Г. // Прикладная информатика. - 2011. - № 6 (32). - С. 38-42 : 2 рис. - Библиогр.: с. 42 (4 назв. )
УДК
^a004.45
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Системное программное обеспечение
Кл.слова (ненормированные):
многопоточные алгоритмы -- статический анализ -- состояние гонки -- неблокирующие алгоритмы
Аннотация: Рассматриваются задачи, связанные с реализацией многопоточных алгоритмов.


Доп.точки доступа:
Тормасов, А. Г.

Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)