Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... In this work we suggest automatically generating code for OpenCL standard from loops ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... explicit data exchange by Java MPI library and is the part of ParJava IDE. Certain kinds of loops ..."
 
Том 22 (2012) Использование стандарта OpenCL для программирования ПЛИС Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Меркулов, Владимир Платонов
"... We suggest using OpenCL standard for programming FPGA devices that are used as accelerators ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
 
Том 30, № 1 (2018) Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Аннотация  PDF (Rus)  похожие документы
С. А. Дергачев
"... is an actual engineering task of various technical problems. This article describes the method of vortex loops ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... GCC implementation required a loop being pipelined to conform to the do-loop pattern, which needs ..."
 
Том 23 (2012) Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL Аннотация  PDF (Rus)  похожие документы
Алексей Меркулов, Андрей Белеванцев
"... optimizations implemented on hardware description level: assignment inlining and loop pipelining. The basic ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... of the function consists of the specification of the pre- and postcondition, as well as loop invariants, which ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... ; algorithm of loop average iteration number correction; control flow with “controversial node” profile ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... sequential code was optimized for different platforms using OpenMP for CPU, OpenCL for GPU and Vivado HLS ..."
 
Том 26, № 2 (2014) Обзор методов упрощения полигональных моделей на графическом процессоре Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... frameworks like OpenCL and CUDA. Shader methods are very restrictive. They are designed to render images ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... an approach how to combine them for the case of C functions without loops. The essence of the approach ..."
 
Том 32, № 4 (2020) Совершенные множества путей в полном графе коммутаторов SDN-сети Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... determine the switch settings. A set of paths is perfect if any subset of its paths can be loop-free ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... -code-level formal specifications (pre- and postconditions, loop invariants, lemma functions, etc ..."
 
Том 27, № 6 (2015) Агрессивная инлайн-подстановка функций для VLIW-архитектур Аннотация  PDF (Rus)  похожие документы
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский
"... propagation, dead code elimination and different loop optimizations. Optimizations prediction reduces the need ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... instructions in loops), and autovectorization. We identified the reasons for suboptimal code generation ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... static analyzer). Our research has shown that interprocedural analysis, path-sensitivity and loop ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... n and the number of edges m , and Q( n2 logn ) for graphs without multiple edges and loops ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... For a distributed system based on a directed graph without multiple edges and loops ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... that are overlooked in many other works, including pipeline specifics (handling of delay slots, hardware loop support ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... for the flow variant of complex loops, whereas string-related buffer overflows are not detected by Infer. ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... regions, distribution of loop iterations, etc. We tested our implementation on a set of micro-benchmarks ..."
 
1 - 22 из 22 результатов

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

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