Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... прямоугольников в полосу, а в 2013 году в [3] была получена оценка точности алгоритма в среднем, равной ..."
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
"... приближенный алгоритм для данной проблемы который работает за полиномиальное в среднем время. ..."
 
Том 19 (2010) Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, О. В. Сидяка
"... степеней свободы применительно к задачам программирования в ограничениях. На основе сравнительного анализа ..."
 
Том 26, № 6 (2014) Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга Аннотация  PDF (Rus)  похожие документы
Х. Лопез, С. Мааг, Ж. Моралес
"... доверии» информацию об опыте доверителя. В данной работе мы предлагаем масштабируемый метод оценки для ..."
 
Том 21 (2011) Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов Аннотация  PDF (Rus)  похожие документы
П. А. Клеменков
"... описывается обобщенный подход к оценке требуемых программному обеспечению ресурсов при переносе его в ..."
 
Том 32, № 4 (2020) CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... во время работы. Для сбора отчётов об аварийных завершениях программ в операционную систему ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..."
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... без вовлечения в процесс оценки непосредственно самих заинтересованных сторон. Оценка качества ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... В работе описывается расширение модели параллельной SPMD программы возможностью использования ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... . Оценки группы экспертов в области Scrum оказались примерно одинаковы для обоих подходов, в то время как ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..."
 
Том 27, № 3 (2015) Инструментарий краудсорсинга для механизированного труда Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... Краудсорсинг успешно нашёл применение при создании и анализе данных в случаях, когда такие задачи ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... В статье рассматривается задача оценки объема трудозатрат на проектирование функциональных ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... , полагающиеся на ввод-вывод с отображением в оперативную память, представляют особый интерес, так как в этих ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... Предложен новый онлайновый алгоритм упаковки прямоугольников в полосу, существенно превосходящий ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... Поиск среди больших объёмов текстовых данных, хотя и изучается в computer science давно, не теряет ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... МГД управление сверхзвуковым потоком является важной проблемой в современных аэрокосмических ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... . Также получены оценки погрешности вычисления конвективных и диффузионных скоростей в зависимости от ..."
 
Том 26, № 2 (2014) Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... вывода по прецедентам лежит оценка схожести прецедента и текущего случая. В предыдущих публикациях был ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
"... и др.) к малым, средним и большим проектам и дана сравнительная их оценка. Описан технологический ..."
 
Том 24 (2013) Инструментальные средства оценки качества научно-технических документов Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров
"... В статье предлагается комбинированный подход к оценке качества научно-технических документов ..."
 
Том 32, № 1 (2020) BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Аннотация  PDF (Rus)  похожие документы
Анастасия Всеволодовна Звездакова, Дмитрий Леонидович Куликов, Сергей Васильевич Звездаков, Дмитрий Сергеевич Ватолин
"... алгоритмам оценки качества видео, используемым в сравнениях видеокодеков, показаны недостатки популярных ..."
 
Том 30, № 4 (2018) Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... как анализ в худшем случае, так и анализ в среднем (вероятностный анализ). Рассмотрены лучшие ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но ..."
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... логических теорий (логик), в частности для логики QF_UFLIA. В то же время при верификации Си-программ часто ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..."
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
"... В статье предлагается и теоретически исследуется on-line алгоритм упаковки прямоугольников в ..."
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... , что, в свою очередь, обеспечивает более точную оценку касательного напряжения на стенке пристенной ..."
 
Том 31, № 6 (2019) Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров
"... Ветроэнергетика – одно из важнейших направлений в развитии возобновляемых источников энергии в РФ ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых в ..."
 
Том 30, № 2 (2018) Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Аннотация  PDF (Rus)  похожие документы
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..."
 
Том 28, № 6 (2016) Применение словарей и векторов слов для автоматического построения лексической онтологии Аннотация  похожие документы
Д. А. Усталов
"... В статье представлен подход к автоматическому построению лексической онтологии путём извлечения и ..."
 
Том 26, № 4 (2014) Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? Аннотация  PDF (Rus)  похожие документы
С. В. Попова, И. А. Ходырев
"... В работе исследуется задача извлечения ключевых фраз из отдельных текстов, таких как аннотации к ..."
 
Том 30, № 6 (2018) Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... ). Получены верхние оценки. Был предложен онлайновый алгоритм построения расписаний с распределением задач в ..."
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов ..."
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... Исследуется задача упаковки прямоугольников в полубесконечную полосу. Известно, что эта задача ..."
 
Том 31, № 1 (2019) Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос Аннотация  PDF (Rus)  похожие документы
Денис Олегович Лазарев, Николай Николаевич Кузюрин
"... В работе рассмотрена задача упаковки прямоугольников в полосы единичной ширины Multiple Strip ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... Описывается подход к тестированию искусственных нейронных сетей, реализованный в программе на ..."
 
1 - 38 из 38 результатов

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

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