Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
"... ) in C++ code and convert them to GPU efficient code using Vulkan. Pattern are expressed through classes ..."
 
Том 35, № 4 (2023) Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК
"... In this paper, the task of embedding computer visualization, performed using the Vulkan API ..."
 
Том 26, № 2 (2014) Обзор методов упрощения полигональных моделей на графическом процессоре Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... . This survey covers algorithms on GPU. They are based on either shader programming or general purpose computing ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
"... This article is devoted to KAST language extensions introduced for purposes of sources code ..."
 
Том 22 (2012) Оптимизация расчётов в пакете OpenFOAM на GPU Аннотация  PDF (Rus)  похожие документы
А. В. Монаков
"... offloading parts of computations (specifically, solution of linear systems) to a graphics accelerator (GPU ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... language for describing code defects that a user wants to detect, in the form of syntax tree patterns. Some ..."
 
Том 34, № 4 (2022) Большие трансформеры для генерации кода Аннотация  похожие документы
Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... emerged, new architectural patterns and software development techniques. Tools involved in the process ..."
 
Том 33, № 3 (2021) Power Fx: Low-code язык для инструментов совместной работы Аннотация  похожие документы
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ
"... The paper provides an overview of the first impression of the language for implementation low code ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... Querying source code helps developers to discover code fragments of interest and to determine ..."
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
"... patterns for developing analytical platform core functionality such as ontology repository management ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..."
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
"... ) paradigm-specific inefficiency patterns has been developed. In this paper code patterns resulting ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... nodes with GPU accelerators) to be used in OpenFOAM. Several optimizations are described. For conjugate ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... and BiCGStab) for GPU-based iterative linear system solvers. They allow to have an overlap of parallel ..."
 
Том 33, № 6 (2021) Возникновение контрастных структур для галактического магнитного поля: теоретические оценки и моделирование на видеокартах Аннотация  PDF (Rus)  похожие документы
Евгений Александрович МИХАЙЛОВ, Татьяна Тимуровна ХАСАЕВА, Игорь Олегович ТЕПЛЯКОВ
"... using GPU and parallel calculations turns out to be reasonable. One of the implementation methods ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... of the developed software is the analysis of the obfuscated malware code. The need of this analysis comes from ..."
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... Static analysis is a popular way of finding given patterns in source or binary code (e.g., coding ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... sequential code was optimized for different platforms using OpenMP for CPU, OpenCL for GPU and Vivado HLS ..."
 
Том 26, № 5 (2014) Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин
"... NVIDIA GPU accelerators for a significant part of the implemented algorithms. Test results on 128-node ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... ) in rectangular channel with shallow dumbbell dimples was modelled with open source Code_Saturne. An ideal gas (ρ ..."
 
Том 35, № 1 (2023) Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений Аннотация  PDF (Rus)  похожие документы
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ
"... from JavaScript client-side code. Specific patterns of using serialized objects within the client-side ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... This article discusses the technique of writing code you can use to save time to write a particular ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... with parallelizing existing code are proposed. The problem of automatic parallel code generation for hybrid ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... through its address or it has been already freed. It is based on dynamic symbolic execution and code ..."
 
Том 35, № 6 (2023) Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом Аннотация  PDF (Rus)  похожие документы
Виктор Михайлович АУШЕВ
"... the performance of the code both on CPU and GPU (using CUDA technology). We provide a comprehensive explanation ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... ). This raises the daunting task of maintaining two independent source codes. However, CUDA graphics accelerators ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... Software developers often resort to borrowing code both within one project and from another. Due ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... usage for binary code analysis faces several challenges, of both scientific and engineering nature ..."
 
Том 30, № 5 (2018) Метод анализа атак повторного использования кода Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
"... incidents. Code-reuse attacks based on return-oriented programming are gaining more and more popularity each ..."
 
Том 33, № 1 (2021) Паттерны микросервисной архитектуры: многопрофильный обзор литературы Аннотация  PDF (Rus)  похожие документы
Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... , and interoperability. Currently, there are many options to build microservices; some of them led by patterns ..."
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... has slowed down is that the source code of the processors “got corrupted” in literal and figurative ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... During the software development developers often copy and paste fragments of code to achieve ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... and security of the application. In some cases, the source code of the problem areas may be missing ..."
 
Том 33, № 6 (2021) Технический долг в жизненном цикле разработки ПО: запахи кода Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ
"... This paper is dedicated to the review of the most popular code smells, which is one ..."
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... The paper proposes an iterative method for extracting algorithms from a binary code ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... structure, each node of the tree can be bound to a fragment of code. It allows one to quickly locate ..."
 
1 - 39 из 346 результатов 1 2 3 4 5 6 7 8 9 > >> 

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

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