Сортировать по:
Выпуск | Название | |
Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η ..." | ||
Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... находит применение в таких предметных областях как управление производством, организация транспортных ..." | ||
Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
"... одной практической задаче численного моделирования гидродинамических характеристик гребных винтов в ..." | ||
Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) похожие документы |
А. А. Алексеев, Н. В. Лукашевич | ||
"... В данной работе предлагается метод для извлечения цепочек семантически близких слов и выражений ..." | ||
Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..." | ||
Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
"... В данной работе изучаются перспективы применения технологий виртуализации в области ..." | ||
Том 22 (2012) | Системы рекомендаций: обзор современных подходов | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, А. В. Коршунов | ||
"... Статья представляет собой обзор основных алгоритмов, использующихся в системах рекомендаций ..." | ||
Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В ..." | ||
Том 21 (2011) | Метод автоматического восстановления переменных из трассы исполнения программы | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, В. А. Макаров | ||
"... В работе описывается метод восстановления локальных переменных из трассы исполнения программы ..." | ||
Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... реорганизации программ, деобфускации программ, выявления уязвимостей в программном коде и др., желательно иметь ..." | ||
Том 27, № 6 (2015) | Облачный фреймворк для интеграции сетевых экспертных и аналитических средств | Аннотация PDF (Rus) похожие документы |
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков | ||
"... в базах данных, а второй - обеспечивает собственно процессы принятия решений с анализом мнений ..." | ||
Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
"... важных и трудных задач в сфере анализа медицинских изображений. Недостаток автоматизации в этих задачах ..." | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
"... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..." | ||
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..." | ||
Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
"... В данной работе рассмотрена аппаратная реализация расчета деполимеризации белковой микротрубочки ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
"... использовании агрессивной инлайн-подстановки. Предложенный в настоящей работе алгоритм оптимизации явно ..." | ||
Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
"... для завершения проекта за минимальное время в рамках отведённых ресурсов. Традиционные методы поиска ..." | ||
Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
"... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но ..." | ||
Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
"... становится невозможным без привлечения средств автоматизации. В настоящее время в мире в этой области имеются ..." | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... В статье предлагается комбинированный подход к оценке качества научно-технических документов ..." | ||
Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
"... Рассматривается формальный метод, обеспечивающий поддержку критически важного шага в объектно ..." | ||
Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
"... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..." | ||
Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
"... В этой статье представлен подход легковесного статического анализа к поиску состояний гонок ..." | ||
Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
"... значительно возросла за последнее десятилетие. В частности, успешный автоматизированный анализ программных ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... соответствующие типовые ошибки автоматизированным образом. В данной статье предлагается методика выявления и ..." | ||
Том 27, № 5 (2015) | Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara | Аннотация PDF (Rus) похожие документы |
А. В. Алексиянц, О. Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов | ||
"... В работе рассматривается задача создания виртуальных Apache Spark и Apache Hadoop кластеров для ..." | ||
Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..." | ||
Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
"... В данной работе рассматривается задача анализа помеченных данных. Для её решения предлагается ..." | ||
Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
"... практикой в наши дни. Одним из видов динамического анализа является анализ трасс выполнения программ. В то ..." | ||
Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
"... ошибок, а также к увеличению размера исходного и бинарного кода. Задача поиска семантически сходных ..." | ||
151 - 180 из 467 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)