Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... части стабилизатора. Проведенное методическое исследование позволяет сделать вывод о том, что пакет с ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... необходимостью обрабатывать данные, полученные с помощью параллельного алгоритма, который выполнялся на ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... объема работы может быть затруднительным для тех людей, которые только начинают знакомство с методологией ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
 
Том 28, № 6 (2016) Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов
"... больших данных в парадигме Map-Reduce. С распространением облачных технологий и предоставления ресурсов по ..."
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
"... поддерживает проведение научных исследований с использованием методов математического моделирования ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... производительности, связанные с задержками в сети. В данной работе рассматривается подход к планированию, основанный ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
 
Том 26, № 4 (2014) Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... предлагается проводить анализ программ, предоставляющих графический интерфейс, с помощью гибридного метода ..."
 
Том 21 (2011) WikifyMe: создание модели сравнения для викификаторов Аннотация  PDF (Rus)  похожие документы
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
"... решения как части веб-лаборатории с REST API и веб-интерфейсом для исследователей. ..."
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... связано это в первую очередь с необходимостью сгущения расчётной сетки к поверхностям земли и зданий для ..."
 
Том 27, № 5 (2015) Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara Аннотация  PDF (Rus)  похожие документы
А. В. Алексиянц, О. Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов
"... начиная с релиза OpenStack Liberty. ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
"... внимание пространственные факторы, связанные с перегруженностью рабочих пространств и нарушением ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... Для правильной обработки информации о возможных сделках, проходящих через торговые платформы ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... осуществляется за счет сохранения в дереве набора информации о фрагментах кода. Сохраняемая информация содержит ..."
 
Том 28, № 4 (2016) Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Аннотация  PDF (Rus)  похожие документы
В. О. Ермакова, И. А. Ломазова
"... . Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами ..."
 
Том 30, № 4 (2018) Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
 
Том 28, № 6 (2016) Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Аннотация  PDF (Rus)  похожие документы
Д. О. Машкин, Е. В. Котельников
"... обмениваться своими мнениями и оставлять отзывы о всевозможных товарах и услугах. Эти мнения могут быть полезны ..."
 
Том 26, № 2 (2014) Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов Аннотация  PDF (Rus)  похожие документы
О. В. Горемыкин
"... QEMU - свободное программное обеспечение с открытым исходным кодом, предназначенное для эмуляции ..."
 
Том 29, № 6 (2017) Исследование максимального размера плотного подграфа случайного графа Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. О. Лазарев
"... при получена оценка сверху на размер максимального с-плотного подграфа асимптотически почти наверно ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... упаковки прямоугольников в полос, , с сохранением оценки . ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... с помощью получения и использования профильной информации об исполнении программы, такую работу ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... шаге полученная абстрактная модель верифицируется с помощью инструмента Spin обычным образом. Помимо ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... связи уже существующих программах для проверки кода и конфигурационного файла с метрикой покрытия. Такой ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... . При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
"... безопасной для использования и менее ограничительной по сравнению с ближайшими аналогами в генераторах Coco/R ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... любые другие программные системы, развиваются с течением времени, независимо от того, какими были ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... подход позволяет избежать построения новой системы с нуля. Для создания архитектурных моделей могут ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... различий являются фоннеймановское разыменование объектных идентификаторов в модели ODMG по сравнению с ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... когерентности памяти системы Эльбрус-4С. Результирующие формальные модели отражают представление протоколов ..."
 
1 - 39 из 236 результатов 1 2 3 4 5 6 7 > >> 

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

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