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

Базы данных


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

Вид поиска

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

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

2.

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

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