Сортировать по:
Выпуск | Название | |
Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..." | ||
Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
"... В статье описан метод построения статического анализатора кода, позволяющий существенно сократить ..." | ||
Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, В. А. Мартиросян | ||
"... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..." | ||
Том 23 (2012) | Об одном методе построения схемы полного гомоморфного шифрования | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров, К. В. Сергеев | ||
Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, О. В. Сидяка | ||
"... степеней свободы применительно к задачам программирования в ограничениях. На основе сравнительного анализа ..." | ||
Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... В данной статье представлены результаты проекта по созданию тестового набора для тестирования ..." | ||
Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин, С. В. Стрижак | ||
"... В статье рассматриваются возможности открытой библиотеки SOWFA. Проблемно-ориентированная ..." | ||
Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
"... В связи с развитием ветроэнергетики и строительством новых ветропарков в РФ возникает потребность в ..." | ||
Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
"... В статье описывается практический опыт разработки перспективной системы визуального планирования ..." | ||
Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
"... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..." | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... В статье предложены различные способы представления результатов анализа сетевого трафика ..." | ||
Том 27, № 5 (2015) | Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone | Аннотация PDF (Rus) похожие документы |
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян | ||
"... Платформа OpenStack является лидирующим решением в области открытых облачных сред. К важнейшим ..." | ||
Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
"... В статье описываются маскирующие преобразования, реализованные в ходе разработки обфусцирующего ..." | ||
Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
"... В статье рассматривается метод выявления ошибок работы с памятью в бинарном коде программ, таких ..." | ||
Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..." | ||
Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
"... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..." | ||
Том 30, № 4 (2018) | Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков | Аннотация похожие документы |
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко | ||
"... в определенный формат. Автоматическая калибровка позволяет применять алгоритмы компьютерного зрения ..." | ||
Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
"... Данная статья описывает текущие исследования по цифровой стабилизации видеоизображения в режиме ..." | ||
Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
"... понятие временного автомата. В настоящей работе мы рассматриваем проблему минимизации автоматов с ..." | ||
Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
"... В этой статье мы расскажем о проекте по разработке отладчика для мультиплатформенной операционной ..." | ||
Том 29, № 1 (2017) | Тестирование возможностей открытого кода BEM++ по решению задач акустики | Аннотация PDF (Rus) похожие документы |
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов | ||
"... решению задач акустики в области средних и высоких частот. Пакет BEM++, аналогично пакету OpenFOAM ..." | ||
Том 29, № 1 (2017) | Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов | ||
"... расчетной схемы для моделирования задачи об установлении золотника в положение равновесия под действием ..." | ||
Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
Ю. В. Белякова, С. С. Михалкович | ||
"... основе F-ограниченного полиморфизма. В этой статье рассматриваются основные подводные камни обобщений C ..." | ||
Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
"... 24-25 ноября 2014 года в Париже в Институте Мин-Телеком (Institut Mines-Télécom) состоялся ..." | ||
Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) похожие документы |
В. Х. Ла, А. Кавалли | ||
"... протоколов их взаимодействия. Так как сенсорные узлы работают, как правило, в неконтролируемой или даже ..." | ||
Том 25 (2013) | Оптимальное упорядочение конфликтующих объектов и задача коммивояжера | Аннотация PDF (Rus) похожие документы |
А. В. Воеводин, С. А. Косяченко | ||
"... В работе представлена постановка задачи оптимального упорядочения конфликтующих объектов и ее связь ..." | ||
Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
Л. В. Иваничкина, А. П. Непорада | ||
"... В настоящей работе рассматривается подход к расчёту надёжности хранилища данных, учитывающий как ..." | ||
Том 27, № 6 (2015) | Облачный сервис ОИЯИ: статус и перспективы | Аннотация PDF (Rus) похожие документы |
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов | ||
"... научными лабораториями. Описаны работы, проводимые в Объединенном институте ядерных исследований (ОИЯИ) и ..." | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... В статье предлагается комбинированный подход к оценке качества научно-технических документов ..." | ||
Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, Д. В. Сидоров | ||
"... В статье предложена оптимизация алгоритма проверки выполнимости булевых формул DPLL (Davis - Putnam ..." | ||
241 - 270 из 344 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)