Сортировать по:
Выпуск | Название | |
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..." | ||
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
"... В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных ..." | ||
Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
В. В. Подымов, В. А. Захаров | ||
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... эффективно решена при помощи процедур проверки эквивалентности программ в рассматриваемых моделях. Основной ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
"... разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных ..." | ||
Том 29, № 6 (2017) | Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack | Аннотация PDF (Rus) похожие документы |
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов | ||
"... В данной работе рассматриваются проблемы масштабируемости проекта Keystone - центрального сервиса ..." | ||
Том 26, № 4 (2014) | Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка | Аннотация PDF (Rus) похожие документы |
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков | ||
"... В статье приводятся результаты экспериментальной проверки современных подходов распознавания ..." | ||
Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
М. С. Акопян, Н. Е. Андреев | ||
"... В данной статье рассматриваются шаблоны в параллельных программах, приводящие к потере ..." | ||
Том 23 (2012) | Обзор развития методов лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
"... Статья посвящена лексической оптимизации запросов и описывает работы, опубликованные в течение ..." | ||
Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
И. Н. Ледовских, М. Г. Бакулин | ||
"... распознавания алгоритмов и структур данных. В статье описывается подход к восстановлению потока управления ..." | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... В работе рассматривается методика автоматизированного построения тестовых программ для верификации ..." | ||
Том 28, № 6 (2016) | Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей | Аннотация похожие документы |
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан | ||
"... корреляционной функции, алгоритме имитации отжига и адаптирован для работы в вычислительном кластере. На примере ..." | ||
Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, Н. Е. Малышев | ||
"... Ошибки при работе с библиотечными функциями обработки строк в языке Си являются частой причиной ..." | ||
Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
"... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых в ..." | ||
Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..." | ||
Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... В данной статье рассматривается задача максимального увеличения пропускной способности сетевого ..." | ||
Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
А. М. Троицкий, Д. В. Буздалов | ||
"... валидации системы, в том числе на ранних этапах разработки. Ранняя валидация важна из-за того, что стоимость ..." | ||
Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
А. А. Гудошникова, Ю. В. Литвинов | ||
"... трудно понять, что нужно переиспользовать в изоляции от контекста, в частности переиспользование одного ..." | ||
Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
Д. И. Самохвалов, Л. В. Дворянский | ||
"... Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем ..." | ||
Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... В данной статье мы предлагаем метод автоматического построения диаграмм последовательности UML на ..." | ||
Том 28, № 3 (2016) | Система деанонимизации пользователей теневого интернета | Аннотация похожие документы |
С. М. Авдошин, А. В. Лазаренко | ||
"... используются для мошеннической и нелегальной деятельности. В современном мире есть много сетей и технологий ..." | ||
Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков, А. С. Камкин | ||
"... В статье представлен метод масштабируемой верификации Promela-моделей протоколов обеспечения ..." | ||
Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
В. О. Ермакова, И. А. Ломазова | ||
"... как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение ..." | ||
Том 28, № 4 (2016) | Обзор современных методов планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... Автоматизация технологически сложных процессов в машиностроении, энергетике, транспорте, медицине ..." | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..." | ||
Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... В данной статье мы предлагаем метод автоматического построения так называемых «гибридных» UML ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..." | ||
Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) похожие документы |
Д. О. Машкин, Е. В. Котельников | ||
"... В интернете существует множество площадок, которые предоставляют пользователям возможность ..." | ||
181 - 210 из 368 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)