Сортировать по:
| Выпуск | Название | |
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... участков кода (клонов) в бинарных файлах становится более актуальной в связи с недоступностью исходного ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это ..." | ||
| Том 26, № 1 (2014) | Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища | Аннотация PDF (Rus) похожие документы |
| С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян | ||
| "... распространять приложения в промежуточном представлении LLVM. Описывается модификация компонентов LLVM с целью ..." | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... , допускаемые языком программирования. На втором этапе производится анализ найденных клонов с целью обнаружения ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... фрагмент в коде. Эти контексты позволяют в рамках одной модели работать с кодом на различных языках, как ..." | ||
| Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация похожие документы |
| Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
| "... . Входные файлы, с невалидным форматом отбрасываются. Эффективный фаззинг программ, которые проверяют ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... шаге полученная абстрактная модель верифицируется с помощью инструмента Spin обычным образом. Помимо ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... связи уже существующих программах для проверки кода и конфигурационного файла с метрикой покрытия. Такой ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) похожие документы |
| С. А. Зеленова, С. В. Зеленов | ||
| "... . При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... безопасной для использования и менее ограничительной по сравнению с ближайшими аналогами в генераторах Coco/R ..." | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... любые другие программные системы, развиваются с течением времени, независимо от того, какими были ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... подход позволяет избежать построения новой системы с нуля. Для создания архитектурных моделей могут ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..." | ||
| Том 27, № 1 (2015) | Объектные модели ODMG и SQL десять лет спустя: нет противоречий | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... различий являются фоннеймановское разыменование объектных идентификаторов в модели ODMG по сравнению с ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... когерентности памяти системы Эльбрус-4С. Результирующие формальные модели отражают представление протоколов ..." | ||
| Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация похожие документы |
| С. И. Сметанин | ||
| "... проанализированы и использованы для оценки общего состояния большой популяции пользователей с целью решения научных ..." | ||
| Том 29, № 1 (2017) | Обзор состояния области потоковой обработки данных | Аннотация PDF (Rus) похожие документы |
| Р. С. Самарев | ||
| "... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..." | ||
| Том 29, № 2 (2017) | Управление данными: 25 лет прогнозов | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| Том 30, № 1 (2018) | Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель | Аннотация PDF (Rus) похожие документы |
| С. А. Дергачев | ||
| "... Моделирование гидродинамических явлений, связанных с обтеканием подвижных деформируемых тел ..." | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
| С. М. Старолетов | ||
| "... В статье рассматривается проблема анализа приложений под ОС Андроид с целью выявления вредоносного ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... исполняемый код, совместимый с существующими программными реализациями протоколов, а также функции конвертации ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
| М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
| "... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| Том 29, № 1 (2017) | Тестирование возможностей открытого кода BEM++ по решению задач акустики | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов | ||
| "... двойного слоя и др.), и программировать с использованием библиотек языка Python решение различных МГЭ-задач ..." | ||
| Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
| Ю. В. Белякова, С. С. Михалкович | ||
| "... По сравнению с классами типов Haskell и концептами C++ такие объектно-ориентированные языки как C ..." | ||
| Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
| Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
| "... обучения с учителем. Приведены результаты экспериментов и сравнение с референсными подходами. Показано, что ..." | ||
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация похожие документы |
| С. Тул, П. Г. Ларсен | ||
| "... физические объекты и взаимодействующие с ними. Анализ процессов в таких системах является сложной задачей из ..." | ||
| Том 26, № 4 (2014) | Предисловие | PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| Том 27, № 6 (2015) | Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков | Аннотация PDF (Rus) похожие документы |
| А. С. Чадин | ||
| "... анализа загруженности вычислительных узлов и последующей миграции виртуальных машин с загруженных узлов на ..." | ||
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
| И. С. Таранов | ||
| "... . Мы также сравниваем нашу реализацию с существующей реализацией B-дерева. В работе показано, что в ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... . Экспериментальное сравнение метода с существующими аналогами показало, что он строит более короткие тесты, однако ..." | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| "... , связанных с человеческим фактором. Несмотря на то, что некоторые из методов решения задач могут быть ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..." | ||
| 1 - 41 из 209 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
