Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... . При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... . Классические алгоритмы планирования периодических задач работают лишь в случае, когда время запуска каждой ..."
 
Том 22 (2012) Автоматизация построения расписаний для периодических систем реального времени Аннотация  PDF (Rus)  похожие документы
Андрей Третьяков
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... задач в области программирования, проектирования микроэлектронных схем и телекоммуникационных систем ..."
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... быть преобразованы в другие проблемы маршрутизации. Это продемонстрировано на примере задачи китайского ..."
 
Том 29, № 4 (2017) Смешанная задача китайского почтальона Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... Задачи маршрутизации важны для областей логистики и управления трансортом. Задачи маршрутизации в ..."
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... приложениях. Такая регулярность исследуется в области интеллектуального анализа периодических шаблонов. В ..."
 
Том 26, № 1 (2014) Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин
"... В статье рассмотрена задача управления потоками параллельных программ на группе вычислительных ..."
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... Задача идентификации состояний в конечном автомате была и остается актуальной, поскольку ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
 
Том 30, № 3 (2018) Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения Аннотация  похожие документы
Е. Н. Береснева, С. М. Авдошин
"... Задача маршрутизации является одной из важнейших NP-трудных задач комбинаторной оптимизации. Она ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... Задача коммивояжера - одна из важнейших задач теории графов и комбинаторной оптимизации, суть ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Предложен общий подход к решению задач на неориентированном упорядоченном корневом связном графе ..."
 
Том 27, № 6 (2015) Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Аннотация  PDF (Rus)  похожие документы
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский
"... решения многомасштабных задач нанотехнологии на суперкомпьютерных системах. Мотивацией к созданию именно ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 31, № 4 (2019) Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Аннотация  PDF (Rus)  похожие документы
Антон Сергеевич Нужный
"... В статье рассматривается задача обучения с учителем: требуется восстановить зависимость ..."
 
Том 25 (2013) Оптимальное упорядочение конфликтующих объектов и задача коммивояжера Аннотация  PDF (Rus)  похожие документы
А. В. Воеводин, С. А. Косяченко
"... В работе представлена постановка задачи оптимального упорядочения конфликтующих объектов и ее связь ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... решению задач акустики в области средних и высоких частот. Пакет BEM++, аналогично пакету OpenFOAM ..."
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Рассматриваются распределённые алгоритмы решения задач на неориентированных графах. В разделе 2 ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... задача не всегда может быть решена. На данный момент не существует универсальный метод статической ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... задача создания на графе структуры, позволяющей передавать сообщение из конца любой дуги в ее начало по ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... точностью. Данная разработка направлена на решение в облаке задач математического моделирования с особыми ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... возникающие задачи проведения коррекции профильной информации и предложены следующие решения: алгоритм ..."
 
Том 23 (2012) О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью Аннотация  PDF (Rus)  похожие документы
С. Н. Жук
"... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..."
 
Том 31, № 2 (2019) Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов Аннотация  похожие документы
Рензо Массобрио, Бернаре Дорронзоро Диаз, Серджо Энрике Несмачнов Кановас
"... современных параллельных вычислительных инфраструктур. Предложенный подход оценивается на решении задачи о ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... бизнес-задач. Приведен пример решения бизнес задачи обработки данных в калькуляторе, реализованном с ..."
 
Том 30, № 2 (2018) Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Аннотация  PDF (Rus)  похожие документы
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
"... решения плоских задач. Была проведена валидация осесимметричной модели на тестовых задачах. В качестве ..."
 
Том 26, № 4 (2014) Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? Аннотация  PDF (Rus)  похожие документы
С. В. Попова, И. А. Ходырев
"... В работе исследуется задача извлечения ключевых фраз из отдельных текстов, таких как аннотации к ..."
 
Том 30, № 6 (2018) Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В работе рассмотрена задача построения расписаний выполнения параллельных вычислительных задач на ..."
 
Том 30, № 4 (2018) Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В работе рассмоторены онлайновые алгоритмы для классических задач упаковки Bin Packing и Strip ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
 
1 - 33 из 33 результатов

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

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