Сортировать по:
Выпуск | Название | |
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... особенности взаимодействия драйверов с сердцевиной ядра, так как это взаимодействие оказывает определяющее ..." | ||
Том 27, № 6 (2015) | Облачный фреймворк для интеграции сетевых экспертных и аналитических средств | Аннотация PDF (Rus) похожие документы |
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков | ||
"... в базах данных, а второй - обеспечивает собственно процессы принятия решений с анализом мнений ..." | ||
Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
"... возвратно-ориентированном программировании (ROP), приобретают всю большую популярность с каждым годом и ..." | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
"... , с одной стороны, активно используются при реализации современных информационных систем, в том числе ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... точку реализации дефекта. С начала производится статический анализ исполняемого кода программы с целью ..." | ||
Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... программистами проблему построения быстрого алгоритма, а также его эффективной программой реализации с учетом ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..." | ||
Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
И. . Мельниченко, А. . Камкин, С. . Смолов | ||
"... проведено его сравнение с другими подходами. Предлагаемый метод сочетает случайный обход графа состояний ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... точном учете семантики выражений с указателями. От точности анализа данных выражений зависит ..." | ||
Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) похожие документы |
А. С. Асратян, Н. Н. Кузюрин | ||
"... осуществлена в полиномиальное время с точностью для некоторой константы . Мы предлагаем для сколь угодно малого ..." | ||
Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) похожие документы |
С. В. Попова, И. А. Ходырев | ||
"... ранжируются и фразы с лучшим рангом отбираются как ключевые. Исследуются способы ранжирования фраз ..." | ||
Том 26, № 5 (2014) | Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Н. С. Орлова, Я. Н. Качалкина | ||
"... Виброкипение широко используется в различных технологических процессах. В связи с этим исследование ..." | ||
Том 26, № 6 (2014) | Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга | Аннотация PDF (Rus) похожие документы |
Х. Лопез, С. Мааг, Ж. Моралес | ||
"... доверительное взаимодействие вовлеченных агентов, становится одной из приоритетных задач. Решение о том, с ..." | ||
Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской, С. В. Сыромятников | ||
Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
М. С. Акопян, Н. Е. Андреев | ||
"... производительности. Рассматриваются шаблоны как в параллельных MPI приложениях для вычислительных систем с ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
"... возможно достижение покрытия функциональности приложения с близким к оптимальному объему данных (один набор ..." | ||
Том 21 (2011) | Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов | Аннотация PDF (Rus) похожие документы |
А. С. Павлов, Б. В. Добров | ||
"... низкокачественными страницами. Методы борьбы с текстовым спамом должны основываться на большом количестве текстовых ..." | ||
Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) похожие документы |
С. А. Мартишин, М. В. Храпченко | ||
"... является NP-трудной. Предложен новый эвристический алгоритм упаковки с использованием модифицированного ..." | ||
Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин, С. В. Стрижак | ||
"... динамики самоорганизованных турбулентных вихревых структур и оценка их размеров важны с точки зрения ..." | ||
Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) похожие документы |
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
"... (Runge - Kutta Discontinuous Galerkin), который характеризуется высоким порядком точности по сравнению с ..." | ||
Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
"... подмножества LTL спецификаций в объектно-ориентированные программы с контрактами на языке Eiffel, которые ..." | ||
Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
"... эксперименты с различными методами генерации тестов для цифровых схем, для проверки различных идей. Вторая ..." | ||
Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
"... ориентированным корневым графом, с ограниченной емкостью дуги (в том смысле, что только ограниченное количество ..." | ||
Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
"... , начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото ..." | ||
Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, Е. В. Тутубалина | ||
"... карточек, научную литературу и данные из социальных сетей. Также мы сравнили предлагаемую модель с одной из ..." | ||
Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
"... внимание пространственные факторы, связанные с перегруженностью рабочих пространств и нарушением ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... . Иначе обстоит дело с модулями ядра, например, драйверами устройств, которые по ряду причин имеют ..." | ||
Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
"... , включая обработку космических изображений и цифровых моделей рельефа с использованием методов и технологий ..." | ||
Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
"... существовании «качественных» средств проведения автоматического рефакторинга исходного кода на языках С/С++. В ..." | ||
Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
"... проведения подобного анализа, затем рассматриваются основные особенности приложений платформы Android с точки ..." | ||
Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
"... систем среднего размера с использованием проверки моделей, получаемых при помощи предикатной абстракции ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... , которые полностью описывают корректное взаимодействие драйверов и ядра. Это является препятствием, с одной ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... хосты (hosts). В настоящей работе рассматривается топология, когда каждый хост соединен ровно с одним ..." | ||
Том 30, № 6 (2018) | Система операторов для пространственно-временного анализа динамических сцен | Аннотация PDF (Rus) похожие документы |
К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
235 - 273 из 281 результатов | << < 1 2 3 4 5 6 7 8 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)