Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... for a system that reveals undeclared capabilities is enumerated: algorithm localization, its representation ..."
 
Том 20 (2011) Развитие taint-анализа для решения задачи поиска программных закладок Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... program. It might be the description of implemented algorithms, output data formats, such as file formats ..."
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... and constructing their high-level representation. The construction of algorithms using the proposed method ..."
 
Том 34, № 1 (2022) Алгоритмы обработки естественного языка для понимания семантики текста Аннотация  PDF (Rus)  похожие документы
Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА
"... Vector representation of words is used for various tasks of automatic processing of natural ..."
 
Том 32, № 5 (2020) Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения Аннотация  PDF (Rus)  похожие документы
Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР
"... detected in two different modalities: photographs and 3D models, by using a common 2D representation. Our ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... of compilation parameters that was developed in ISP RAS. The tool uses genetic algorithm to evolve the best ..."
 
Том 33, № 2 (2021) Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма Аннотация  PDF (Rus)  похожие документы
Донован РИАНЬО-ЭНРИКЕС, Родриго ПИНОН-АЯЛА, Гильермо МОЛЕРО-КАСТИЛЬО, Эверардо БАРСЕНАС, Алехандро ВЕЛАСКЕС-МЕНА
"... This paper presents the automation of a Web advertising recognition algorithm, using regular ..."
 
Том 23 (2012) Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL Аннотация  PDF (Rus)  похожие документы
Алексей Меркулов, Андрей Белеванцев
"... Implementing algorithms for field-programmable gate arrays using a hardware description language ..."
 
Том 34, № 5 (2022) Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... . In this regard, a new algorithm for excluding low-quality calculation cells is being discussed. The simulations ..."
 
Том 36, № 3 (2024) Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы Аннотация  PDF (Rus)  похожие документы
Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ
"... recognition and marking of photoplantograms of the foot using genetic algorithms and neural networks ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... approach using natural language processing methods. The algorithm includes the following steps: preparation ..."
 
Том 35, № 6 (2023) Анализ безопасности проекта национального стандарта «Нейросетевые алгоритмы в защищенном исполнении. Автоматическое обучение нейросетевых моделей на малых выборках в задачах классификации» Аннотация  PDF (Rus)  похожие документы
Роман Александрович РОМАНЕНКОВ, Григорий Борисович МАРШАЛКО, Юлия Анатольевна ТРУФАНОВА
"... We propose a membership inference attack against the neural classification algorithm from ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... approximates the functional equivalence of programs. In this paper we develop a new variant of the algorithm ..."
 
Том 26, № 4 (2014) Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка Аннотация  PDF (Rus)  похожие документы
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков
"... term recognition based on multiple features: machine learning method and voting algorithm. We show ..."
 
Том 25 (2013) Автоматическое извлечение новых концептов предметно-специфичных терминов Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханцев
"... disambiguation algorithm. ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... of a program algorithm is presented, as well as an algorithm for its construction. The proposed representation ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
"... utilize these formal foundations to build up a compositional algorithm that generates generalized heaps ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... (such as extracting algorithm and data formats, exploiting vulnerabilities, revealing backdoors and undocumented ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... that are unattainable for dynamic methods. Static methods are algorithms for studying a static model of a program ..."
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
"... of the huge amount of data by high-performance distributed systems. We propose new meta-algorithm of large ..."
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... in a MapReduce environment. Unfortunately, join algorithms is not directly supported in MapReduce. The aim ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... The article presented a set of algorithms that form the basis of the safe code execution system ..."
 
Том 30, № 4 (2018) Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Аннотация  похожие документы
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко
"... and encoding. This auto-calibration makes possible to scale computer vision algorithms (video stabilization, 3D ..."
 
Том 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 ..."
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
"... (DPSA) where application of genetic algorithm (GA) is shown to improve the efficiency of the analysis ..."
 
Том 34, № 4 (2022) Обзор методов раннего обнаружения меланомы c использованием методов компьютерного зрения Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Елена Сергеевна КОЗАЧОК
"... detection of the disease. The article discusses the existing algorithms and methods of visual diagnosis ..."
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
"... to the production process. The review considers algorithms and methods for automated optical control ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... and use algorithms for solving the CNF SAT problem for input data generation and path alteration. SAT ..."
 
Том 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 ..."
 
Том 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, № 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 ..."
 
Том 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 ..."
 
1 - 39 из 544 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> 

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

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