Сортировать по:
Выпуск | Название | |
Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
"... экономической теории регулирования спроса и предложения ресурсов в согласованном мультиагентном управлении ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... ядра не представляется возможной ввиду сложности и объема получающегося кода. В качестве решения этой ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
"... оптимизаций, использование клонирования функций, частичной инлайн-подстановки и компиляции в режиме «вся ..." | ||
Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
"... для учета специфики высокопроизводительных вычислений, в частности, выполнена доводка и настройка ..." | ||
Том 29, № 3 (2017) | Обзор задач и методов их решения в области классификации сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков | ||
"... В статье рассматривается задача классификации сетевого трафика: характеристики, используемые для её ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и ..." | ||
Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..." | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
"... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на ..." | ||
Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация похожие документы |
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
"... пересказа и созданного инструмента в частности является то, что, при всей оригинальности вывода, процесс его ..." | ||
Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
М. Провидухина, И. Сибгатуллин | ||
"... Буссинеска в трёхмерной и двумерной постановке. Прямое численное моделирование проведено с помощью метода ..." | ||
Том 28, № 4 (2016) | Некоторые задачи на графовых базах данных | Аннотация PDF (Rus) похожие документы |
Р. И. Гуральник | ||
"... графа, сопоставление образца в графе. Рассмотрены первичные алгоритмы каждого направления и некоторые ..." | ||
Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян | ||
"... исследований и разработок в ИСП РАН - технологии анализа, моделирования и трансформации программ. Все эти ..." | ||
Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
И. А. Дудина | ||
"... развитие получили различные методы статического анализа. В работе рассматриваются основные подходы и ..." | ||
Том 28, № 6 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян | ||
"... В заключительном выпуске 28-го тома публикуются статьи, посвященные технологии анализа ..." | ||
Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация похожие документы |
С. И. Сметанин | ||
"... графиков изменения настроения в течение дня и в течение недели. В процессе разработки программного средства ..." | ||
Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Д. И. Романова | ||
"... решателе InterFoam, который и был использован в работе. Использовалась K - ε модель турбулентности. В ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... приведения типа. В работе предложено формальное определение межпроцедурного дефекта и рассмотрены некоторые ..." | ||
Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) похожие документы |
Е. И. Гусев | ||
"... (Oracle RAC) и проводится его сравнение с другими известными способами в контексте сравнения архитектур ..." | ||
Том 27, № 6 (2015) | Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях | Аннотация PDF (Rus) похожие документы |
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова | ||
"... Предложены теоретическое обоснование и алгоритмическая реализация спектрально-аналитического метода ..." | ||
Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..." | ||
Том 27, № 3 (2015) | Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг | Аннотация PDF (Rus) похожие документы |
И. П. Болодурина, Д. И. Парфёнов | ||
"... задач. В рамках данной статьи решается задача исследования облачной системы и оценка эффективности схем ..." | ||
Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
И. И. Кулагин, М. Г. Курносов | ||
"... В работе выполнено исследование эффективности реализации программной транзакционной памяти ..." | ||
Том 27, № 6 (2015) | Модель проблемно-ориентированной облачной вычислительной среды | Аннотация PDF (Rus) похожие документы |
Г. И. Радченко | ||
"... прогнозирования вычислительных характеристик задач при планировании и распределении заданий. В статье представлены ..." | ||
Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
И. С. Таранов | ||
"... Поиск среди больших объёмов текстовых данных, хотя и изучается в computer science давно, не теряет ..." | ||
Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
В. В. Пузикова | ||
"... использованием моделей турбулентности Смагоринского, Спаларта - Аллмараса, , и SST в рамках RANS, LES и DES ..." | ||
Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
В. В. Пузикова | ||
"... формы и систем из любого числа профилей, имеющих одну или две степени свободы, в т.ч. турблулентным ..." | ||
Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан | ||
"... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..." | ||
Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... при тестировании возможно наблюдение изменения состояний автоматов в вершинах графа и сообщений на ..." | ||
Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена проблеме моделирования и композиции составных систем. Компоненты системы ..." | ||
Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
61 - 90 из 374 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)