Сортировать по:
Выпуск | Название | |
Том 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) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
С. Е. Прокопьев | ||
"... исполняемый код, совместимый с существующими программными реализациями протоколов, а также функции конвертации ..." | ||
Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
"... символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это ..." | ||
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... также предоставляет функционал для работы с модифицированными (в частности, зашифрованными) данными. ..." | ||
Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, Ю. В. Маркин | ||
"... программ, что позволит упростить инициализацию системы, ускорить ее тестирование с помощью фаззинга, а ..." | ||
Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, П. М. Довгалюк | ||
"... Обратная отладка - это инструмент разработки ПО, позволяющий более эффективно справляться с ..." | ||
Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
"... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..." | ||
Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
Ю. В. Белякова, С. С. Михалкович | ||
"... По сравнению с классами типов Haskell и концептами C++ такие объектно-ориентированные языки как C ..." | ||
Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
"... обучения с учителем. Приведены результаты экспериментов и сравнение с референсными подходами. Показано, что ..." | ||
Том 26, № 4 (2014) | Предисловие | PDF (Rus) похожие документы |
С. Д. Кузнецов | ||
Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
М. С. Форостьянова | ||
Том 27, № 6 (2015) | Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков | Аннотация PDF (Rus) похожие документы |
А. С. Чадин | ||
"... анализа загруженности вычислительных узлов и последующей миграции виртуальных машин с загруженных узлов на ..." | ||
Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
И. С. Таранов | ||
"... . Мы также сравниваем нашу реализацию с существующей реализацией B-дерева. В работе показано, что в ..." | ||
Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
"... участков кода (клонов) в бинарных файлах становится более актуальной в связи с недоступностью исходного ..." | ||
Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
"... . Экспериментальное сравнение метода с существующими аналогами показало, что он строит более короткие тесты, однако ..." | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
"... , показывающие лучшую скорость работы в сравнении с аналогичными программными инструментами. ..." | ||
Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
"... В статье предлагается подход к интроспекции виртуальных машин с использованием двоичного интерфейса ..." | ||
Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
Том 18 (2010) | Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина | ||
"... недостатки подхода по сравнению с уже существующими методами разработки. ..." | ||
Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
"... В работе рассматривается подход к отслеживанию файловых операций с помощью перехвата запросов к ..." | ||
Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
"... , связанных с человеческим фактором. Несмотря на то, что некоторые из методов решения задач могут быть ..." | ||
Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
"... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..." | ||
Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..." | ||
61 - 90 из 250 результатов | << < 1 2 3 4 5 6 7 8 9 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)