Сортировать по:
| Выпуск | Название | |
| Том 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 диссертация)
