Сортировать по:
Выпуск | Название | |
Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
"... В статье описываются функциональные возможности и структура программного модуля для ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... технологию CUDA, в рамках программного пакета OpenFOAM, а также описаны особенности их переноса на ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... В статье описывается реализация стандарта OpenMP версии 4.0 для акселераторов NVIDIA PTX в ..." | ||
Том 28, № 6 (2016) | Классификация ROP гаджетов | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков | ||
"... В данной работе предложен метод классификации ROP гаджетов, который позволяет аналитику сделать ..." | ||
Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической ..." | ||
Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
А. В. Когтенков | ||
"... Разыменование пустого указателя - это хорошо известная ошибка, встречающаяся в объектно ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
"... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..." | ||
Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян | ||
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
"... разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных ..." | ||
Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
"... использована в стандарте некоторого промышленного языка программирования, должна быть доказана корректность ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлено описание технической реализации системы верифицированного ..." | ||
Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
А. Н. Авдеева, В. В. Пузикова | ||
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
"... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..." | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..." | ||
Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
В. Ю. Чепцов, А. В. Хорошилов | ||
"... , полагающиеся на ввод-вывод с отображением в оперативную память, представляют особый интерес, так как в этих ..." | ||
Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
А. А. Гудошникова, Ю. В. Литвинов | ||
"... трудно понять, что нужно переиспользовать в изоляции от контекста, в частности переиспользование одного ..." | ||
Том 28, № 4 (2016) | Обзор современных методов планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... , строительстве, а также создание новых продуктов и сервисов невозможны без решения задач планирования движения. В ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... MASIW, а также описывается сам метод марковского анализа. В основной части предлагается алгоритм ..." | ||
Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... для робота, перемещаемого в статическом и динамическом трехмерном окружении. Организация среды в виде ..." | ||
Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... на единой методологической, программной и инструментальной основе. В статье детально обсуждаются ..." | ||
Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... Задачи теории расписаний и проектного планирования находят широкое применение в научных и ..." | ||
Том 30, № 1 (2018) | Базы данных для обработки массивов: взгляд изнутри | Аннотация похожие документы |
В. А. Павлов, Б. А. Новиков | ||
"... , в мире баз данных возникла задача поддержки больших многомерных массивов. Стала необходимой ..." | ||
Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, А. В. Лапутенко | ||
"... понятие временного автомата. В настоящей статье рассматривается проблема построения параллельной ..." | ||
Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
К. А. Маллачиев, А. В. Хорошилов | ||
"... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..." | ||
Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
А. Р. Гнатенко, В. А. Захаров | ||
"... . В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для ..." | ||
Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, А. В. Хорошилов | ||
"... . В статье предлагаются новые методы систематического тестирования устойчивости к сбоям, а также ..." | ||
Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... при разработке анализатора программ с использованием системных вызовов. В статье рассматривается ..." | ||
1 - 30 из 463 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)