Сортировать по:
| Выпуск | Название | |
| Том 28, № 1 (2016) | Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM | Аннотация похожие документы |
| А. И. Ряховский, А. А. Шмидт | ||
| "... исследованиях. На основе центральных разностных схем Балбаса и Тадмора был разработан OpenFOAM-солвер, способный ..." | ||
| Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация похожие документы |
| А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
| "... Статья описывает разработку и тестирование модификации решателя для гиперзвукового реагирующего ..." | ||
| Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... исследований и разработок в ИСП РАН - технологии анализа, моделирования и трансформации программ. Все эти ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... возможностям статического анализатора были отнесены межпроцедурный путе- и контекстно-чувствительный анализ, а ..." | ||
| Том 28, № 6 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... , моделирования и трансформации программ, технологии распределенных систем, анализу текстов на естественных языках ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..." | ||
| Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация похожие документы |
| И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
| "... способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами ..." | ||
| Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
| А. С. Кирьянцев, И. А. Стефанова | ||
| "... В статье рассмотрена проблема сохранности переписки при передаче и пути решения этой проблемы ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... методы исследования и улучшения бизнес-процессов. Спецификой методов process mining является то, что они ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... контроля качества ПО, и его недостаток может приводить к финансовым потерям. При систематическом подходе ..." | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... или в каждой вершине, а также, если необходимо, разметке графа (его вершин и/или рёбер). Акцент сделан ..." | ||
| Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..." | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| "... Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с ..." | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| "... критичных с точки зрения информационной безопасности, а, с другой стороны, проведение базовых атак на ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... , использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... представлена. Числа А и В часто описываются фразами естественного языка, например, Z = (Java, максимально ..." | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения ..." | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| "... голосования. Как и для любой системы, важным является верификация ключевых алгоритмов, на которых основана её ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... : решение других задач на графах и расширение подхода на ориентированные графы, а также недетерминированные ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... , решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На ..." | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... . Раздел 3 содержит основные определения и обозначения, а раздел 4 - постановку задачи. В разделе 5 ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной ..." | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... российской академии наук. В 2014 г. конференция была посвящена различным аспектам технологий параллельных и ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..." | ||
| Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
| А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
| "... , для улучшения качества управления малыми летательными аппаратами и снижения усталости оператора. В ..." | ||
| Том 29, № 1 (2017) | Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева | ||
| "... состоит из замкнутого клиновидного корпуса и подвижной внутренней массы, совершающей колебания вдоль ..." | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... к решению данной задачи, а также описывается реализация этих подходов в рамках системы ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... уровне абстракций бинарного и исходного кода и сложности переноса на другие процессорные архитектуры и ОС ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... состояний, транзакций, протоколов и сигналов. Поскольку характерной особенностью рассматриваемых абстрактных ..." | ||
| Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) похожие документы |
| В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
| "... работе исследовались два различных подхода оценки отклонений: абсолютная оценка и оценка p-значения ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..." | ||
| Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
| И. И. Каретин, В. А. Макаров | ||
| "... бинарного кода. Метод позволяет восстановить иерархическую структуру изучаемых данных и выявлять ..." | ||
| Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
| "... поддерживается восстановление потоков данных, а также проведение их дальнейшего разбора. Тем самым обеспечивается ..." | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| "... . Предлагаемый метод использует символьное выполнение и применяется к бинарным файлам программ, не требуя какой ..." | ||
| Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
| А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
| "... регистрации и обработке баллистокардиографичекого сигнала. В измерительной установке для фиксации ..." | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| "... . Рассмотрена возможность построения полного графа сетевых взаимодействий, а также создания временной диаграммы ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... анализа: построение графа вызовов и графа потока управления, проведение анализа потоков данных и ..." | ||
| 1 - 44 из 408 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
