Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 18 (2010) Система моделирования Grid: реализация и возможности применения Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, А. И. Поспелов
 
Том 27, № 5 (2015) Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... сервера перегружены, а некоторые простаивают. В данной работе мы предлагаем собирать данные о поведении ..."
 
Том 23 (2012) Энергоэффективные вычисления для группы кластеров Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 30, № 6 (2018) О задаче эффективного управления вычислительной инфраструктурой Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 26, № 1 (2014) Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин
 
Том 31, № 6 (2019) Кэширование данных в мультиконтейнерных системах Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин
"... сборки образов, а также некоторые проблемы безопасности, возникшие из-за агрессивного кэширования в ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
 
Том 28, № 6 (2016) Применение словарей и векторов слов для автоматического построения лексической онтологии Аннотация  похожие документы
Д. А. Усталов
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... роботами, таких как архитектура категорий Р. Брукса и «Колония» Д. Коннеля, и приведены идеи их выражения в ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... последнем случае проверяющая последовательность строится относительно не относительно редукции, а ..."
 
Том 27, № 4 (2015) Методы построения социо-демографических профилей пользователей сети Интернет Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
 
Том 26, № 2 (2014) О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти Аннотация  PDF (Rus)  похожие документы
Д. А. Носов
"... В работе М. А. Тайцлина и А. П. Столбоушкина было введено понятие недетерминированной программы, и ..."
 
Том 27, № 3 (2015) Инструментарий краудсорсинга для механизированного труда Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
 
Том 30, № 2 (2018) Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Аннотация  PDF (Rus)  похожие документы
Р. А. Гилязев, Д. Ю. Турдаков
"... разметке данных людей, а сам процесс является дорогостоящим и утомительным для аннотаторов. Для оптимизации ..."
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... преобразования типизированных функций в реляционную форму, а также доказательство его статической и динамической ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... метода является то, что он предназначен в первую очередь для отладки конкретных проблемных оптимизаций, а ..."
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
 
Том 27, № 5 (2015) Современные методы аспектно-ориентированного анализа эмоциональной окраски Аннотация  PDF (Rus)  похожие документы
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
 
Том 26, № 4 (2014) Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка Аннотация  PDF (Rus)  похожие документы
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
 
Том 23 (2012) Большие данные: современные подходы к хранению и обработке Аннотация  PDF (Rus)  похожие документы
П. А. Клеменков, С. Д. Кузнецов
"... эффективно, а также приводится обзор трех современных подходов к работе с большими данными: NoSQL, MapReduce ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... , в частности, методов проверки свойств безопасности и надежности программ, а также функциональной ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... ощутимо автоматизируется, благодаря применению декларативного описания устройств и машин, а также средств ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
 
Том 27, № 5 (2015) Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara Аннотация  PDF (Rus)  похожие документы
А. В. Алексиянц, О. Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... , а именно инструкций чтения и записи, и устройств памяти, таких как блоки кэш-памяти и буферы ..."
 
Том 30, № 2 (2018) Анализ баллистокардиограммы на граничных вычислительных узлах Аннотация  PDF (Rus)  похожие документы
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... . Рассмотрена возможность построения полного графа сетевых взаимодействий, а также создания временной диаграммы ..."
 
1 - 38 из 411 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)