Сортировать по:
Выпуск | Название | |
Том 30, № 6 (2018) | Система операторов для пространственно-временного анализа динамических сцен | Аннотация PDF (Rus) похожие документы |
К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... точку реализации дефекта. С начала производится статический анализ исполняемого кода программы с целью ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..." | ||
Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
И. . Мельниченко, А. . Камкин, С. . Смолов | ||
"... проведено его сравнение с другими подходами. Предлагаемый метод сочетает случайный обход графа состояний ..." | ||
Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) похожие документы |
С. В. Попова, И. А. Ходырев | ||
"... ранжируются и фразы с лучшим рангом отбираются как ключевые. Исследуются способы ранжирования фраз ..." | ||
Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов, А. В. Посконин | ||
"... В современном мире всё острее встает проблема работы с огромными объемами данных и большими ..." | ||
Том 23 (2012) | Обзор развития методов лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 21 (2011) | Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов | Аннотация PDF (Rus) похожие документы |
А. С. Павлов, Б. В. Добров | ||
"... низкокачественными страницами. Методы борьбы с текстовым спамом должны основываться на большом количестве текстовых ..." | ||
Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) похожие документы |
С. А. Мартишин, М. В. Храпченко | ||
"... является NP-трудной. Предложен новый эвристический алгоритм упаковки с использованием модифицированного ..." | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... учитывающих потактовое функционирование конвейера, разработанные спецификации и шаблоны, а также ..." | ||
Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) похожие документы |
А. М. Водовозов, Д. С. Полетаев | ||
"... Рассматривается задача использования процессоров с архитектурой ARMv8 для ускорения работы ..." | ||
Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
"... , исполняющиеся во времени, для моделирования которых обычно используется временн а я логика, линейная (LTL) или ..." | ||
Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
"... , начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото ..." | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
"... представленной модели каталога требований с формальными моделями, позволяющими описывать семантику каждого ..." | ||
Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
"... значительное количество уязвимостей, используя которые злоумышленник может с помощью специально подготовленных ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... особенности взаимодействия драйверов с сердцевиной ядра, так как это взаимодействие оказывает определяющее ..." | ||
Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... . Иначе обстоит дело с модулями ядра, например, драйверами устройств, которые по ряду причин имеют ..." | ||
Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) похожие документы |
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... Разбиение графа необходимо для решения задач, связанных с обработкой графов, данные которых ..." | ||
Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... решения как части веб-лаборатории с REST API и веб-интерфейсом для исследователей. ..." | ||
Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
"... пакетов прикладных программ, а также различных вычислительных ресурсов, имеющихся у ИПМ и его партнеров ..." | ||
Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
"... систем среднего размера с использованием проверки моделей, получаемых при помощи предикатной абстракции ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... , которые полностью описывают корректное взаимодействие драйверов и ядра. Это является препятствием, с одной ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... хосты (hosts). В настоящей работе рассматривается топология, когда каждый хост соединен ровно с одним ..." | ||
Том 26, № 2 (2014) | Методы пороговой криптографии для защиты облачных вычислений | Аннотация PDF (Rus) похожие документы |
Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров | ||
91 - 120 из 443 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)