Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... the Co-Simulation Orchestration Engine performing co-simulations. The investigation was conducted ..."
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
"... программах благодаря высокой производительности и масштабируемости. При этом реализация детекторов поиска ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... и выполняющегося в окружении с высокой степенью параллелизма. Существенной особенностью этого кода ..."
 
Том 26, № 1 (2014) Тестирование операционных систем Аннотация  PDF (Rus)  похожие документы
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев
"... concurrency, huge number of configuration options, required tolerance to aggressive actions of counteragents ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... – интер и интра операционный параллелизм и их комбинации. Мы рассматриваем эти техники в применении к ..."
 
Том 34, № 5 (2022) Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA Аннотация  PDF (Rus)  похожие документы
Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... This paper describes issues related to automatic detection of concurrency defects using dynamic ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
 
Том 30, № 1 (2018) Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Аннотация  PDF (Rus)  похожие документы
М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур
"... The generation of uniformly distributed random numbers is necessary for computer simulation ..."
 
Том 32, № 2 (2020) Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes Аннотация  похожие документы
Анастасия Сергеевна ШЕМЯКИНСКАЯ, Игорь Валерьевич НИКИФОРОВ
"... to monitoring hard drives in the Kubernetes container orchestration system and provides a comparative analysis ..."
 
Том 28, № 6 (2016) Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов
"... . The third solution implemented uses Ansible for orchestration purposes. We implement the solution in loosely ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... рекомендации призванные улучшить производительность многопроцессно-многопоточной программы связанные с ..."
 
Том 34, № 4 (2022) Построение требований и архитектуры облачного оркестратора платформенных сервисов Аннотация  PDF (Rus)  похожие документы
Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... The development of memory models aimed at solving various concurrency problems is an active ..."
 
Том 35, № 2 (2023) Пути организации параллельного доступа к структурированным данным Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Дмитрий Владимирович ИВАНКОВ, Евгений Александрович БЕКЕТОВ
"... В данной работе исследуются пути достижения максимально возможной производительности обменов с ..."
 
Том 21 (2011) Разработка параллельной СУБД на основе PostgreSQL Аннотация  PDF (Rus)  похожие документы
К. С. Пан
"... открытым исходным кодом PostgreSQL и использует фрагментный параллелизм. ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... Software simulation is of a big importance during development of processors as they provide access ..."
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... редукции параллелизма и оценки занимаемых ресурсов. Предложен способ свертки, базирующийся на введении ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... This paper presents high performance simulation of microtubule molecular dynamics implemented ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... in the tasks of molecular simulation. Considering the large volume of data obtained from such simulations ..."
 
Том 34, № 2 (2022) Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Аннотация  похожие документы
Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ
 
Том 36, № 2 (2024) Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ
"... производительности вычислительных систем на синтетических тестах, значительно уступающих по математической сложности ..."
 
Том 36, № 5 (2024) Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме Аннотация  PDF (Rus)  похожие документы
Павел Александрович ПАВЛОВ
"... ограниченного параллелизма по числу процессоров многопроцессорной системы получено достаточное условие ..."
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... CFD toolbox OpenFOAM in the field of simulation of hydraulic units’ dynamics using Finite Volume ..."
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... , and its validity and quality have high impact on the overall accuracy of the simulation. In this paper ..."
 
Том 36, № 5 (2024) Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
"... тестов и выполнять оценку производительности и надежности вычислительных систем. ..."
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
"... производительности отладки за счет сокращения дополнительно записываемых данных, оптимального сохранения снимков ..."
 
Том 33, № 2 (2021) Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Аннотация  PDF (Rus)  похожие документы
Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС
"... характеристики изображений на разных частотах, низких и высоких, также влияют на производительность CNN во время ..."
 
Том 33, № 5 (2021) Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... используются разные алгоритмы, которые оптимизированы для своих случаев. Прирост производительности ограничен и ..."
 
Том 35, № 6 (2023) Инструмент для поиска гонок по данным RaceHunter Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ
"... Data races are a class of concurrency errors where two threads access a shared memory location ..."
 
Том 21 (2011) Оценка Производительности Протокола Реализации Snapshot Isolation Аннотация  PDF (Rus)  похожие документы
Д. Н. Василик
"... производительности в OLAP задачах в распределенном кластере HBase. Для валидации модели были использованы результаты ..."
 
Том 29, № 6 (2017) Моделирование смазочной системы главной передачи Аннотация  PDF (Rus)  похожие документы
Е. В. Авдеев, К. А. Волкова, В. А. Овчинников
"... OpenMPI. The paper presents the results of numerical simulation. ..."
 
Том 33, № 3 (2021) Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ
"... : multiversion concurrency control, multicore parallelization, advanced query optimization, just in time ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency ..."
 
Том 34, № 1 (2022) Анализ регулярности матриц Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ
 
Том 36, № 4 (2024) О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса Аннотация  PDF (Rus)  похожие документы
Павел Александрович ПАВЛОВ
"... структурированного программного ресурса; в случаях неограниченного и ограниченного параллелизма по числу процессоров ..."
 
Том 32, № 5 (2020) Моделирование инфразвукового пистонфона Аннотация  PDF (Rus)  похожие документы
Дмитрий Витальевич ГОЛОВИН
"... There are presented the results of numerical simulation of an applied acoustic problem – modeling ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... В этой статье мы обсуждаем подходы к оценке производительности многоуровневых облачных приложений и ..."
 
Том 33, № 3 (2021) Механизированная теория структур событий: случай параллельной регистровой машины Аннотация  похожие документы
Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ
"... The true concurrency models, and in particular event structures, have been introduced in the 1980s ..."
 
1 - 39 из 252 результатов 1 2 3 4 5 6 7 > >> 

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

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