Сортировать по:
Выпуск | Название | |
Том 28, № 6 (2016) | Классификация ROP гаджетов | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков | ||
"... продемонстрирована на 32-х и 64-х битных приложениях из дистрибутива Ubuntu 14.04, а возможность применения ROP на ..." | ||
Том 29, № 4 (2017) | Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения | Аннотация похожие документы |
О. Москалёва, А. Громова | ||
"... усовершенствования подходов к их тестированию. Это связано с тем, что методы интеллектуального анализа данных ..." | ||
Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... генерации требует значительных усилий. Часто в таких случаях приходится создавать новую реализацию с нуля ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... В данной работе рассматривается метод поиска межпроцедурных ошибок доступа к буферу с помощью ..." | ||
Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
А. В. Когтенков | ||
"... крупношаговой семантике. Наконец, демонстрируется, что при наличии таких правил семантики с безопасностью пустых ..." | ||
Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов | ||
"... сигнатуры программного кода. Для академического изучения этих методов и кода, получаемого с их помощью ..." | ||
Том 29, № 5 (2017) | Программное обеспечение для создания адаптивных сеток | Аннотация PDF (Rus) похожие документы |
А. Н. Семакин | ||
"... вычислений. Также представлены результаты решения некоторых физических задач с привлечением данного пакета. ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
"... публикаций по теме и библиотек с открытым кодом, и объясняет стоящие за ними критерии. Затем она обсуждает ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян | ||
"... представления, позволяющего решать такую задачу с точки зрения эффективной генерации системы уравнений для SMT ..." | ||
Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов | ||
"... программных комплексов. В связи с этим постоянно возрастает сложность программного обеспечения, управляющего ..." | ||
Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация похожие документы |
Б. А. Позин | ||
Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация похожие документы |
Д. А. Усталов | ||
"... построение и кластеризация графа синонимов с целью вывода отдельных значений слов и их объединения в ..." | ||
Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
П. А. Путро | ||
"... спецификаций пред- и постусловий с моделью поведения машинного кода. В данной статье представлен подход к ..." | ||
Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
"... памяти, а также оценка возможности восстановления информации об исходном коде. Реализованные маскирующие ..." | ||
Том 26, № 4 (2014) | Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов | ||
Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
Д. В. Антонов, В. С. Рублев | ||
"... ODQL, позволяющий совместить сложность точного описания с простотой использования за счет введения двух ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... точном учете семантики выражений с указателями. От точности анализа данных выражений зависит ..." | ||
Том 26, № 4 (2014) | Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса | Аннотация PDF (Rus) похожие документы |
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
"... В данной статье представлен способ человеко-компьютерного взаимодействия с помощью жестов рук ..." | ||
Том 26, № 5 (2014) | Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Н. С. Орлова, Я. Н. Качалкина | ||
"... Виброкипение широко используется в различных технологических процессах. В связи с этим исследование ..." | ||
Том 26, № 6 (2014) | Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга | Аннотация PDF (Rus) похожие документы |
Х. Лопез, С. Мааг, Ж. Моралес | ||
"... доверительное взаимодействие вовлеченных агентов, становится одной из приоритетных задач. Решение о том, с ..." | ||
Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской, С. В. Сыромятников | ||
Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
М. С. Акопян, Н. Е. Андреев | ||
"... производительности. Рассматриваются шаблоны как в параллельных MPI приложениях для вычислительных систем с ..." | ||
Том 30, № 6 (2018) | Исследовательский поиск научных статей | Аннотация PDF (Rus) похожие документы |
Я. Р. Недумов, С. Д. Кузнецов | ||
"... - поиск для поддержания осведомленности), можно с достаточной степенью уверенности считать ..." | ||
Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин, С. В. Стрижак | ||
"... динамики самоорганизованных турбулентных вихревых структур и оценка их размеров важны с точки зрения ..." | ||
Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) похожие документы |
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
"... (Runge - Kutta Discontinuous Galerkin), который характеризуется высоким порядком точности по сравнению с ..." | ||
Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, Е. В. Тутубалина | ||
"... карточек, научную литературу и данные из социальных сетей. Также мы сравнили предлагаемую модель с одной из ..." | ||
Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... операционные системы, такие как WxWorks, Fiasco OS, L4Ka::Pistachio и отладчики для них, а также был изучен их ..." | ||
241 - 270 из 454 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)