Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... logical OpenMP thread by a group of PTX threads we developed a new code generation model that allows ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... False cache sharing happens when different parallel execution threads update the variables ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... compiler it is compiled with (the usual one, such as gcc, icc and msvc, or the compiler for CUDA, nvcc ..."
 
Том 21 (2011) Поддержка команд с условным выполнением в селективном планировщике команд Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Александр Монаков
"... scheduling. We have implemented the proposed optimization in the selective scheduling in GCC compiler ..."
 
Том 30, № 1 (2018) Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Аннотация  PDF (Rus)  похожие документы
М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур
"... the generation capacity is an important task. This paper describes applying SIMD instructions (Single Instruction ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... parameters. We used our tool to tune GCC parameters for ARM platform, and demonstrated how it can be used ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... with no dependencies in C/C++/Fortran programs. We use GCC compiler’s GRAPHITE infrastructure that represents loop ..."
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
"... MSVC, gcc, and clang and found that two of these compilers have flaws that allow exploiting buffer ..."
 
Том 31, № 6 (2019) Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Николай Игоревич Хохлов, Игорь Борисович Петров
"... processors (GPUs). Comparative results of applying MPI, OpenMP, CUDA technologies are presented. As examples ..."
 
Том 35, № 6 (2023) Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом Аннотация  PDF (Rus)  похожие документы
Виктор Михайлович АУШЕВ
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... is optimized using vector SIMD instructions of the ARMv8 architecture. An implementation of the C signal ..."
 
Том 35, № 3 (2023) Уточнение предикатной абстракции при раздельном анализе потоков Аннотация  похожие документы
Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ
"... Thread-modular approach over predicate abstraction is an efficient technique for software ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... by computing with a fixed vector length. Parallelization and vectorization implemented using the OpenMP ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... by using the MPI library does not exceed a few percent in comparison with the OpenMP technology usage ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
"... thread interaction and analysis for each thread in a separate way, but together with a specific ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... _turb» parallel version is developed. Intel® Cilk™ Plus, Intel® TBB and OpenMP parallel programming technologies ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... the function call stack for a specific thread. Building a call stack without information about the running ..."
 
Том 35, № 5 (2023) Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... of the interface system has a block tridiagonal structure. To speed up prototyping, OpenMP parallel programming ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... software is discussed. Then the paper describes discovering, identification, and analysis of threads ..."
 
Том 35, № 6 (2023) Инструмент для поиска гонок по данным RaceHunter Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ
"... Data races are a class of concurrency errors where two threads access a shared memory location ..."
 
Том 37, № 1 (2025) Фреймворк автоматизации тестирования на гонки по данным Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН
"... program where a test regulates execution of parallel threads with synchronization actions. Tests being ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... In this paper, we investigate efficiency of software transactional memory implementation in GCC ..."
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
"... developers from using unsafe statements and expressions. Such a safe compiler based on GCC has been developed ..."
 
Том 35, № 4 (2023) Численное моделирование переноса твёрдых частиц в атмосферном городском пограничном слое с использованием лагранжева подхода: физические задачи и параллельная реализация Аннотация  PDF (Rus)  похожие документы
Александр Иванович ВАРЕНЦОВ, Очир Анатольевич ИМЕЕВ, Андрей Васильевич ГЛАЗУНОВ, Евгений Валерьевич МОРТИКОВ, Виктор Михайлович СТЕПАНЕНКО
"... as creation of software implementations of the model with the use of parallel computing technologies OpenMP ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..."
 
Том 35, № 6 (2023) Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов Аннотация  PDF (Rus)  похожие документы
Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ
"... (GCC, Clang, MSVC). We conclude that these means either have significant disadvantages or are absent ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... symbol resolution and may cause increase in code size. We implement this code generation variant in GCC ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... sequential code was optimized for different platforms using OpenMP for CPU, OpenCL for GPU and Vivado HLS ..."
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
"... Most of developed tools for analysis for various libraries (MPI, OpenMP) and languages for parallel ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... on the single board. Using multiple threads in a single node with modern multicore processors allows to increase ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... verification. The motivation is rather clear: modern compilers, such as GCC and Clang/LLVM, are not free ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM ..."
 
Том 33, № 4 (2021) Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением Аннотация  PDF (Rus)  похожие документы
Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ
"... ) is presented and implementation of such a compiler on top of GCC compiler is described. Implementation of safe ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... with a number of join operators in the multithreaded environment. In our experiments we vary thread count ..."
 
Том 27, № 2 (2015) Использование многопоточных процессов в среде ParJava Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... ) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2 ..."
 
Том 26, № 3 (2014) Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян
"... . These transformations were implemented in GCC. It successfully diversifies whole operational system including Linux ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... resonance. Intel® Cilk™ Plus, Intel® TBB and OpenMP parallel programming technologies are used in the «LS ..."
 
Том 28, № 6 (2016) Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... techniques aimed to achieve acceptable false alarms rate. The key techniques are thread analysis ..."
 
1 - 39 из 47 результатов 1 2 > >> 

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

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