Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... in a MapReduce environment. Unfortunately, join algorithms is not directly supported in MapReduce. The aim ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... of the main sub-fields of process mining. Conformance checking algorithms are aimed to assess how well a given ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... with a number of join operators in the multithreaded environment. In our experiments we vary thread count ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... The article presented a set of algorithms that form the basis of the safe code execution system ..."
 
Том 32, № 1 (2020) Эффективные реализации алгоритмов тематического моделирования Аннотация  PDF (Rus)  похожие документы
Мурат Азаматович Апишев
"... upgrade topic modeling algorithms for multiprocessor systems. In this paper, we provide an overview ..."
 
Том 30, № 2 (2018) Распараллеливание реализаций сугубо последовательных алгоритмов Аннотация  PDF (Rus)  похожие документы
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
"... the used algorithm is purely sequential, there are no parallel alternatives to the algorithm used, and its ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... and use algorithms for solving the CNF SAT problem for input data generation and path alteration. SAT ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..."
 
Том 24 (2013) Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
"... In the article an on-line algorithm for packing rectangles into a strip is presented and studied ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... Equivalence checking algorithms found vast applications in system programming; they are used ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... by optimization of tests suites and by test generation algorithms including on-the-fly. We consider the main ..."
 
Том 32, № 2 (2020) Модификация алгоритма Валианта для задачи поиска подстрок Аннотация  PDF (Rus)  похожие документы
Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ
"... to improve the existing parsing techniques. The most asymptotically efficient parsing algorithm that can ..."
 
Том 27, № 3 (2015) Двухшаговый генератор гармоничных мелодий Аннотация  PDF (Rus)  похожие документы
Софья Латкина
"... in generating algorithm working. It contains review of existing solutions, description of their key features ..."
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... of classical replacement algorithms of disk data caching is ineffective. This paper reviews recently developed ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... approximates the functional equivalence of programs. In this paper we develop a new variant of the algorithm ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... methods that have spatial and time coherence. We propose algorithm to increase rendering performance ..."
 
Том 28, № 3 (2016) Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Аннотация  PDF (Rus)  похожие документы
Е. А. Ильченко
"... with objects exceeding RAM. Such objects are placed on the hard drive. We give a description of such algorithms ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... this problem is NP-hard, heuristic algorithms providing near optimal solutions in polynomial time ..."
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... of compilation parameters that was developed in ISP RAS. The tool uses genetic algorithm to evolve the best ..."
 
Том 31, № 2 (2019) Конструирование и оптимизация сетей распространения контента Аннотация  PDF (Rus)  похожие документы
Сантьяго Дамиан Итурриага Фабра, Серджо Энрике Несмачнов Кановас, Херардо Гони Бофриско, Бернабе Дорронсоро Диаз, Андрей Николаевич Черных
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... 3 describes algorithm complexity assessment rules. Section 4 presents basic message processing ..."
 
Том 32, № 6 (2020) Моделирование технических и математических задач прикладных областей знаний на ЭВМ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ
"... , their algorithms and programming. The characteristics of the numerical modeling of technical problems and applied ..."
 
Том 32, № 4 (2020) Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров Аннотация  PDF (Rus)  похожие документы
Николай Павлович ХРАПОВ
"... of various computational algorithms to the BOINC. The topic of the presented work is the effective adaptation ..."
 
Том 19 (2010) MapReduce: внутри, снаружи или сбоку от параллельных СУБД? Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... The approaches of use of MapReduce technology together with analytical DBMSs are discussed ..."
 
Том 31, № 1 (2019) Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос Аннотация  PDF (Rus)  похожие документы
Денис Олегович Лазарев, Николай Николаевич Кузюрин
"... In this article, an analog of previously proposed algorithm Limited Hash Packing for Multiple Strip ..."
 
Том 32, № 2 (2020) Сравнительный анализ алгоритмов гомоморфного шифрования на основе обучения с ошибками Аннотация  похожие документы
Михаил Григорьевич БАБЕНКО, Елена Игоревна ГОЛИМБЛЕВСКАЯ, Егор Михайлович ШИРЯЕВ
 
Том 32, № 5 (2020) Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения Аннотация  PDF (Rus)  похожие документы
Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР
"... approach is based on a modifcation of the Marching Cubes algorithm aiming to remove ambiguous cases without ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... . In this paper, the efficiency study was carried out for parallel algorithms in the numerical simulation of blood ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... The paper provides a review of distributed graph algorithms research conducted by authors. We ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... (such as extracting algorithm and data formats, exploiting vulnerabilities, revealing backdoors and undocumented ..."
 
Том 29, № 4 (2017) Смешанная задача китайского почтальона Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... . The mathematical formulations of some problems are presented. The algorithm for reduction the MCPP in multigraph ..."
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
"... propagation algorithm for community detection. In this work we show how multi-level optimization can be used ..."
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... In this paper NP complete strip packing problem is analyzed. New heuristic algorithm on the base ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... . The main result of this paper is the description of a polynomial time algorithm for checking ..."
 
Том 30, № 6 (2018) Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... ) is used to analyze the quality of an algorithm, where Vsp=∑1≤i≤kviL-W. It was shown that for every ..."
 
Том 27, № 6 (2015) Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов
"... and cloud computing. This work presents a MapReduce-based approach to solve a major and important ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... of the convective and diffusive velocities of all vortex elements. The analogue of the Barnes - Hut algorithm ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... that are unattainable for dynamic methods. Static methods are algorithms for studying a static model of a program ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... evaluation for a 2DSP algorithm equals the expected value of space of strip not filled with rectangles ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
"... algorithm with built-in “Any” symbol processing is described. The “Any” symbol matches implicitly defined ..."
 
1 - 44 из 309 результатов 1 2 3 4 5 6 7 8 > >> 

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

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