Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... Rendering of 3D scenes with big number of objects is computationally intensive. Occlusion culling ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... when rendering scenes and employing frustum culling, occlusion queries. Section 4 summarizes the main ..."
 
Том 26, № 1 (2014) Рефакторинг в рамках программного проекта Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... in a MapReduce environment. Unfortunately, join algorithms is not directly supported in MapReduce. The aim ..."
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
"... In the article an on-line algorithm for packing rectangles into a strip is presented and studied ..."
 
Том 32, № 1 (2020) Эффективные реализации алгоритмов тематического моделирования Аннотация  PDF (Rus)  похожие документы
Мурат Азаматович Апишев
"... upgrade topic modeling algorithms for multiprocessor systems. In this paper, we provide an overview ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..."
 
Том 30, № 2 (2018) Распараллеливание реализаций сугубо последовательных алгоритмов Аннотация  PDF (Rus)  похожие документы
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
"... the used algorithm is purely sequential, there are no parallel alternatives to the algorithm used, and its ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
 
Том 34, № 5 (2022) Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... . In this regard, a new algorithm for excluding low-quality calculation cells is being discussed. The simulations ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... and use algorithms for solving the CNF SAT problem for input data generation and path alteration. SAT ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... The article presented a set of algorithms that form the basis of the safe code execution system ..."
 
Том 34, № 1 (2022) Алгоритмы планирования вычислений с учетом избыточности и неопределенности Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА
"... environments are important problems. In this regard, we propose new algorithms for computation planning taking ..."
 
Том 34, № 1 (2022) Алгоритмы обработки естественного языка для понимания семантики текста Аннотация  PDF (Rus)  похожие документы
Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
"... slicing algorithm that eliminates redundant constraints from a path predicate without accuracy loss ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... Equivalence checking algorithms found vast applications in system programming; they are used ..."
 
Том 26, № 2 (2014) Обзор методов упрощения полигональных моделей на графическом процессоре Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... . This survey covers algorithms on GPU. They are based on either shader programming or general purpose computing ..."
 
Том 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 ..."
 
Том 24 (2013) Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... of classical replacement algorithms of disk data caching is ineffective. This paper reviews recently developed ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... algorithm for logic-and-term equivalence in the firstorder model of imperative programs we introduce ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... approximates the functional equivalence of programs. In this paper we develop a new variant of the algorithm ..."
 
Том 35, № 6 (2023) Применение алгоритмов машинного обучения для предсказания турбулентной вязкости Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА
"... The article discusses machine learning algorithms for predicting turbulent viscosity using ..."
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... The paper proposes an iterative method for extracting algorithms from a binary code ..."
 
Том 36, № 4 (2024) Интеллектуальные алгоритмы обнаружения атак в веб-среде Аннотация  похожие документы
Мария Анатольевна ЛАПИНА, Виталия Валентиновна МОВЗАЛЕВСКАЯ, Марина Евгеньевна ТОКМАКОВА, Михаил Григорьевич БАБЕНКО, Виктор Павлович КОЧИН
"... The article is devoted to the analysis of the use of machine learning algorithms to detect attacks ..."
 
Том 27, № 3 (2015) Двухшаговый генератор гармоничных мелодий Аннотация  PDF (Rus)  похожие документы
Софья Латкина
"... in generating algorithm working. It contains review of existing solutions, description of their key features ..."
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... In this paper NP complete strip packing problem is analyzed. New heuristic algorithm on the base ..."
 
Том 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 ..."
 
Том 32, № 4 (2020) Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров Аннотация  PDF (Rus)  похожие документы
Николай Павлович ХРАПОВ
"... of various computational algorithms to the BOINC. The topic of the presented work is the effective adaptation ..."
 
Том 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 ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... (such as extracting algorithm and data formats, exploiting vulnerabilities, revealing backdoors and undocumented ..."
 
Том 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 ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... of global routing for VLSI ASIC design. An algorithm has been developed for generating a training dataset ..."
 
1 - 39 из 355 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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