Сортировать по:
Выпуск | Название | |
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
Том 19 (2010) | Восстановление формата данных | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин | ||
"... бинарного кода. Метод позволяет восстановить иерархическую структуру изучаемых данных и выявлять ..." | ||
Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
"... гибридными узлами. Рассматриваются мультиагентные методы и инструментальные средства нового поколения ..." | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
"... использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..." | ||
Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
И. . Мельниченко, А. . Камкин, С. . Смолов | ||
"... цифровых устройств. В отличие от обычных конечных автоматов, в EFSM-моделях управляющие сигналы и данные ..." | ||
Том 27, № 5 (2015) | Современные методы аспектно-ориентированного анализа эмоциональной окраски | Аннотация PDF (Rus) похожие документы |
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков | ||
"... таких международных площадок: SemEval-2015 и SentiRuEval-2015. ..." | ||
Том 26, № 4 (2014) | Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? | Аннотация PDF (Rus) похожие документы |
С. В. Попова, И. А. Ходырев | ||
"... данных, для пополнения онтологий и извлечения метаинформации. Работа основана на подходе в рамках ..." | ||
Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... , распространяется на случай (слабой) симуляции - конформности, основанной на соответствии состояний реализации и ..." | ||
Том 19 (2010) | Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
Н. Н. Кузюрин, А. И. Поспелов | ||
"... В статье предлагается и теоретически исследуется on-line алгоритм упаковки прямоугольников в ..." | ||
Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, Н. Е. Малышев | ||
"... обнаруживать ошибки, происходящие лишь на некоторых путях выполнения и не определяемые единственной точкой ..." | ||
Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
"... характеристик данного алгоритма, обсуждаются особенности реализации на базе компиляторной инфраструктуры LLVM и ..." | ||
Том 24 (2013) | Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян | ||
Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
"... Экспоненциальный рост объемов, повышение качества данных в современных и будущих обзорах неба ..." | ||
Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
"... сравнивается с параллельными реализациями этого же алгоритма на многоядерном процессоре Intel Xeon и ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
"... учитывает время компиляции, что делает его эвристику более сбалансированной и позволяет значительно ..." | ||
Том 28, № 2 (2016) | Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем | Аннотация PDF (Rus) похожие документы |
И. И. Чукляев | ||
"... информационно-управляющих систем, а также способ построения этой модели. Предлагаемая модель и способ построения ..." | ||
Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..." | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... существующие библиометрические и наукометрические характеристики (рассчитываемые на основе сведений из ..." | ||
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... В данной статье рассматривается модификация и применение инструмента Avalanche для проведения ..." | ||
Том 21 (2011) | Динамическое профилирование программы для системы LLVM | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев | ||
"... особенности целевой аппаратуры и наиболее вероятный сценарий использования, необходимо применять методы ..." | ||
Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
"... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... необходимого и достаточного условия проверяемости любой настройки коммутатора, а также ставится задача ..." | ||
Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
"... на облачной платформе OpenStack и системе виртуализации KVM/QEMU. Компоненты системы ВСК доработаны ..." | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..." | ||
Том 29, № 3 (2017) | Обзор задач и методов их решения в области классификации сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков | ||
"... решения, существующие подходы и области их применимости. Перечисляются прикладные задачи, требующие ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... ядра не представляется возможной ввиду сложности и объема получающегося кода. В качестве решения этой ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... анализа бинарного кода: как трассировщика уровня машинных команд и как развитого инструмента интерактивной ..." | ||
Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
М. Провидухина, И. Сибгатуллин | ||
"... Проведено прямое численное моделирование распространения внутренних волн и образования волновых ..." | ||
Том 28, № 4 (2016) | Некоторые задачи на графовых базах данных | Аннотация PDF (Rus) похожие документы |
Р. И. Гуральник | ||
"... Одним из наиболее популярных и актуальных подвидов нереляционных баз данных являются графовые базы ..." | ||
61 - 90 из 409 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)