Сортировать по:
Выпуск | Название | |
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... свойства, специфичные для кэш-памятей, и метод поддержки согласованности состояния памяти в системе на ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... и размещённым в статической памяти либо на стеке. В работе приведено формальное определение ошибки ..." | ||
Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
"... , использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые ..." | ||
Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
"... и автономной верификации одного из его компонентов. В статье дано описание тестовых систем ..." | ||
Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
"... , для улучшения качества управления малыми летательными аппаратами и снижения усталости оператора. В ..." | ||
Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
"... агентов, поддерживающих прямой доступ к памяти (DMA). В заключение приведен список найденных ошибок и ..." | ||
Том 26, № 4 (2014) | Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса | Аннотация PDF (Rus) похожие документы |
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
"... В данной статье представлен способ человеко-компьютерного взаимодействия с помощью жестов рук ..." | ||
Том 24 (2013) | Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
И. К. Марчевский, В. В. Пузикова | ||
"... дискретного преобразования Фурье. В качестве примера приведён анализ эффективности метода BiCGStab c ILU и ..." | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... В статье предложены различные способы представления результатов анализа сетевого трафика ..." | ||
Том 27, № 5 (2015) | Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone | Аннотация PDF (Rus) похожие документы |
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян | ||
"... Платформа OpenStack является лидирующим решением в области открытых облачных сред. К важнейшим ..." | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
"... . Подход позволяет смягчить негативное влияние недостаточной и избыточной помеченности. В подходе ..." | ||
Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
"... Экспоненциальный рост объемов, повышение качества данных в современных и будущих обзорах неба ..." | ||
Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..." | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... исследований в РФ и за рубежом в области методов оценки качества научно-технических документов показал, что ..." | ||
Том 27, № 5 (2015) | Современные методы аспектно-ориентированного анализа эмоциональной окраски | Аннотация PDF (Rus) похожие документы |
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков | ||
"... -ориентированного анализа эмоциональной окраски текстов. Данная задача решалась в рамках нескольких конференций ..." | ||
Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) похожие документы |
С. В. Попова, И. А. Ходырев | ||
"... данных, для пополнения онтологий и извлечения метаинформации. Работа основана на подходе в рамках ..." | ||
Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
"... задачи в пакете OpenFOAM, в целом, соответствуют результатам, полученным в пакете Star-CCM и результатам ..." | ||
Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
"... и Palacios, в качестве тестовых пакетов используются HPC Challenge и NAS Parallel Benchmarks ..." | ||
Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, Е. В. Тутубалина | ||
"... В данной работе представлено экспериментальное исследование эффективности ряда моделей нейронных ..." | ||
Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..." | ||
Том 28, № 2 (2016) | Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем | Аннотация PDF (Rus) похожие документы |
И. И. Чукляев | ||
"... соответствует модели данных в не первой нормальной форме, образована функциональным комплексом данных и ..." | ||
Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
"... важных и трудных задач в сфере анализа медицинских изображений. Недостаток автоматизации в этих задачах ..." | ||
Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
"... В данной работе рассматривается задача анализа помеченных данных. Для её решения предлагается ..." | ||
Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
"... Рефакторинг является одной из самых популярных и «успешных» техник улучшения исходного кода. Он ..." | ||
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... В данной статье рассматривается модификация и применение инструмента Avalanche для проведения ..." | ||
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... . В статье обсуждается связь настроек коммутаторов и множества реализуемых ими путей передачи пакетов ..." | ||
Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
"... транслятора Vivado HLS. В работе показано, что реализация на ПЛИС быстрее CPU в 17 раз и быстрее GPU в 11 раз ..." | ||
Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
"... экономической теории регулирования спроса и предложения ресурсов в согласованном мультиагентном управлении ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... ядра не представляется возможной ввиду сложности и объема получающегося кода. В качестве решения этой ..." | ||
31 - 60 из 371 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)