Сортировать по:
| Выпуск | Название | |
| Том 27, № 6 (2015) | Дерандомизационная криптостойкость гомоморфного шифрования | Аннотация PDF (Rus) похожие документы |
| А. В. Трепачева | ||
| "... В статье освещается проблематика построения и анализа систем криптографической защиты облачных ..." | ||
| Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
| С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
| "... В работе представлены структура и отдельные компоненты облачного сервиса, предназначенного для ..." | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков | ||
| "... В статье рассматривается задача повышения скорости расчётов в пакете OpenFOAM за счёт переноса ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
| Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) похожие документы |
| В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
| "... В статье представлен новый подход идентификации пользователя на основе анализа его поведения при ..." | ||
| Том 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) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение ..." | ||
| 181 - 210 из 373 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
