Сортировать по:
Выпуск | Название | |
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..." | ||
Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов, А. В. Посконин | ||
"... В современном мире всё острее встает проблема работы с огромными объемами данных и большими ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... позволяющих использовать для запросов естественные языки. В статье предлагается подход к выполнению запросов ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
Том 21 (2011) | Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов | Аннотация PDF (Rus) похожие документы |
А. С. Павлов, Б. В. Добров | ||
"... характеристик. В данной статье предлагается набор характеристик текстового разнообразия, основанных на ранговых ..." | ||
Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) похожие документы |
С. А. Мартишин, М. В. Храпченко | ||
"... Исследуется задача упаковки прямоугольников в полубесконечную полосу. Известно, что эта задача ..." | ||
Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
И. И. Каретин, В. А. Макаров | ||
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..." | ||
Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
А. В. Самонов, Г. Н. Самонова | ||
"... В статье представлены модели и алгоритмы обеспечения сквозного контроля качества сложных ..." | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
"... В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления ..." | ||
Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
"... На основе технологической платформы UniHUB ( | ||
Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
"... моделирования в различных прикладных и фундаментальных областях. Она предоставляет возможности подготовки ..." | ||
Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
"... . Потребность в подобного рода продуктах возникла в связи с ростом популярности методик запутывания кода для ..." | ||
Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
"... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..." | ||
Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
"... В данной работе описаны основные проблемы, возникающие при переносе высокопроизводительных ..." | ||
Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
"... системы. Любое программное обеспечение, написанное на языках C/C++, потенциально содержит в себе ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... влияние на работу драйвера. В то же время, верификации драйвера в комбинации с исходным кодом сердцевины ..." | ||
Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
"... Экспоненциальный рост объемов, повышение качества данных в современных и будущих обзорах неба ..." | ||
Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... В работе рассмотрены методы и техники, используемые в современных инструментах статической ..." | ||
Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
"... первостепенных задач. Сбои в работе программного обеспечения могут привести к серьезным последствиям, а ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..." | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) похожие документы |
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... . В данной работе предлагается метод, позволяющий использовать многоуровневую оптимизацию для ..." | ||
Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... В работе кратко описывается масштабируемая программная инфраструктура для хранения и обработки ..." | ||
Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) похожие документы |
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
"... В данной статье приводится обзор запутывающих преобразований программ, сформулированы критерии ..." | ||
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... В данной статье рассматривается модификация и применение инструмента Avalanche для проведения ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... В настоящее время SDN-технология активно используется в виртуальных сетях для реализации различных ..." | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
"... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..." | ||
Том 29, № 3 (2017) | Обзор задач и методов их решения в области классификации сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков | ||
"... В статье рассматривается задача классификации сетевого трафика: характеристики, используемые для её ..." | ||
Том 21 (2011) | Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий | Аннотация PDF (Rus) похожие документы |
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун | ||
"... В то время как многие исследователи пытаются построить различные онтологии с помощью Википедии ..." | ||
181 - 210 из 463 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)