Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... by obtaining and using program profile information, such compiler work is called profile-guided optimization ..."
 
Том 33, № 3 (2021) Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус Аннотация  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... for implementing data layout optimizations in the LCC compiler for the Elbrus and SPARC architectures. The approach ..."
 
Том 36, № 4 (2024) Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус Аннотация  PDF (Rus)  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
"... This paper presents a new version of instrumentation-based path profiling, implemented for the LCC ..."
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... environment. Unfortunately, LLVM does not support dynamic profile collection and recompilation at the moment ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... and implementing profile-based optimizations in JavaScript V8 JIT compiler. ..."
 
Том 27, № 4 (2015) Методы построения социо-демографических профилей пользователей сети Интернет Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... The paper is devoted to methods for construction of socio-demographic profile of Internet users ..."
 
Том 34, № 5 (2022) Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич БЕНДЕРСКИЙ, Алена Алексеевна ЧЕРНОВА
"... the features of the velocity profiles formed in the outlet sections of the channels, the results of calculating ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... results (profile-guided optimization). The static instrumentation allows to optimize dynamic properties ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... correction to the full control flow profile. The proposed approach allows the derived profile information ..."
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
 
Том 35, № 1 (2023) Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии Аннотация  похожие документы
Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА
"... cycle profiles for very small entities on systems and software engineering standard, published in many ..."
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
"... , БЧХ-коды для коррекции ошибок, метод максимизации правдоподобия для извлечения метки, нейронная сеть ..."
 
Том 31, № 1 (2019) К разработке открытого программного обеспечения для реконструкции CAD-моделей Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов
"... of the poles of each profile curve. The presented software architecture can be used for partial or complete ..."
 
Том 20 (2011) О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри Аннотация  PDF (Rus)  похожие документы
Л. В. Дворянский
"... В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом ..."
 
Том 37, № 3 (2025) Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЕФАНОВ
"... контролепригодности, основанный на синтезе схем встроенного контроля путем логической коррекции сигналов и применении ..."
 
Том 34, № 5 (2022) О решении одной задачи мелкой воды методом центральных разностей и коррекцией FCT Аннотация  PDF (Rus)  похожие документы
Игорь Иванович ПОТАПОВ, Павел Сергеевич ТИМОШ
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... оптимизации более общего вида циклов. Разработана и реализована поддержка циклов, счетчик которых меняется как ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... недостающие типы релокаций, позволяющие построить адрес позиции в GOT относительно счетчика команд, используя ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... to fill their profiles that may contain an age. Profiles are not fully filled, so the task of unknown ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... time are presented as well as the developed profile-based optimizations. The specialized application ..."
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... structures field offsets is called an OS profile. Methods of generating such profiles are based on guest ..."
 
Том 26, № 5 (2014) Прямое численное моделирование аттракторов внутренних волн стратифицированной жидкости в трапециедальной области с колеблющейся вертикальной стенкой Аннотация  PDF (Rus)  похожие документы
К. Брузе, Т. Доксуа, Е. Ерманюк, С. Жубо, М. Крапошин, И. Сибгатуллин
"... taking into account ther imperfection of linear salinity profile near the upper boundary. The amplitudes ..."
 
Том 33, № 5 (2021) Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ
"... обеспечения доверия к безопасному системному ПО, включая создание профильных национальных стандартов. Во ..."
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... simulation of the same flow. Computed error profiles of all the considered flow quantities are shown to vary ..."
 
Том 26, № 1 (2014) Анализ социальных сетей: методы и приложения Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов
"... between users) and textual (user messages and profiles) data analysis: demographic attribute detection ..."
 
Том 33, № 4 (2021) Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... tube; after transforming data, the flow velocity profile is obtained. The k − ε turbulence model ..."
 
Том 35, № 2 (2023) Особенности численного моделирования работы воздушно-тепловой завесы в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Сергей ГРИГОРЬЕВ, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА
"... achieved at different fan speeds are estimated. The self-similarity of velocity profiles at the air curtain ..."
 
Том 25 (2013) Определение демографических атрибутов пользователей микроблогов Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков
"... messages and other data from their profiles. The method is based on a machine learning algorithm. Its ..."
 
Том 35, № 2 (2023) Параллельные вычисления в задачах восстановления искаженных изображений в пространственно-спектральной форме Аннотация  похожие документы
Борис Васильевич КОСТРОВ, Наталья Николаевна ГРИНЧЕНКО, Ангелина Алексеевна ВЬЮГИНА, Светлана Николаевна БАРАНОВА
"... коррекцией искажения вектора передачи на основе ввода значения тренда его соседей. Актуальность данной темы ..."
 
Том 35, № 6 (2023) Изучение оформления русской звучащей речи китайскими и ганскими студентами в цифровом формате: лингводидактический аспект Аннотация  похожие документы
Светлана Александровна ДЕРЯБИНА, Ваньин ЖЭНЬ, Юджения НКЕТИЯ
"... ганцев с целью предупреждения и коррекции ошибок на уровне интонации. ..."
 
Том 34, № 5 (2022) Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... that many experimental and calculated results on the icing of small profiles are difficult to transfer ..."
 
Том 34, № 4 (2022) Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ
"... is that it is possible to get a complete profile of a unique specialist if you collect, combine and analyze data from ..."
 
Том 33, № 2 (2021) Разработка Web-приложений с учетом элементов качества данных – DQAWA Аннотация  PDF (Rus)  похожие документы
Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС
"... , this work presents a partial outcome of our research in this novel field: a metamodel and a UML profile ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... and view variables, and profile the debugged program using the free Google Performance Tools and mpiP ..."
 
Том 27, № 6 (2015) Агрессивная инлайн-подстановка функций для VLIW-архитектур Аннотация  PDF (Rus)  похожие документы
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский
"... in profile information which is rarely available in practice. Our implementation of inlining includes cloning ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... targets, and support for two-tier compilation mode for profile-guided optimizations. Also it provides ..."
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... infrastructure that allows optimizing programs taking into account the user profile and his/her target machine ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... . Among the users of Twitter only about 26% indicate the name of the city in their profiles, about 30 ..."
 
Том 33, № 5 (2021) Тепловая нагрузка биметаллической оребренной трубки Аннотация  PDF (Rus)  похожие документы
Елена Сергеевна БАЙМЕТОВА, Альбина Фирдавесовна ГИЗЗАТУЛЛИНА, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА, Федор Николаевич ПУШКАРЕВ, Алена Алексеевна ЧЕРНОВА
"... data is carried out. Generalized temperature profiles in the rib longitudinal section are obtained ..."
 
1 - 39 из 48 результатов 1 2 > >> 

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

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