Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... into the synthesis process. Algorithms for the parallelism reduction have been developed. The results of software ..."
 
Том 21 (2011) Разработка параллельной СУБД на основе PostgreSQL Аннотация  PDF (Rus)  похожие документы
К. С. Пан
"... and exploits partitioned parallelism. ..."
 
Том 36, № 5 (2024) Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме Аннотация  PDF (Rus)  похожие документы
Павел Александрович ПАВЛОВ
"... ; in the case of unlimited and limited parallelism by the number of processors of a multiprocessor system ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... and inter operator parallelism and their combinations. We evaluate these techniques applied to a query tree ..."
 
Том 35, № 5 (2023) Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС Аннотация  PDF (Rus)  похожие документы
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ
"... . The paper considers such stages of the design flow in the basis of heterogeneous FPGAs as logic synthesis ..."
 
Том 34, № 1 (2022) Анализ регулярности матриц Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ
 
Том 36, № 4 (2024) О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса Аннотация  PDF (Rus)  похожие документы
Павел Александрович ПАВЛОВ
"... of copies of a structured software resource; in cases of unlimited and limited parallelism by the number ..."
 
Том 37, № 3 (2025) Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии Аннотация  PDF (Rus)  похожие документы
Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА
"... This paper considers the problem of congestion map prediction at the pre-routing stage of VLSI ..."
 
Том 27, № 5 (2015) Метод легковесного статического анализа для поиска состояний гонок Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... . It takes into account the specifics of operating system kernels, such as complex parallelism and kernel ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... , irregular architecture with static parallelism of operations. The article proposes methods from the field ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... mathematical models have a significant parallelism resource. For the problems of modeling of hybrid dynamical ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... of parallelism. Support tools for translation, execution, debugging, optimization and verification of functional ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... extensible architecture of detecting and using the available instruction level parallelism. The detection ..."
 
Том 29, № 6 (2017) Моделирование смазочной системы главной передачи Аннотация  PDF (Rus)  похожие документы
Е. В. Авдеев, К. А. Волкова, В. А. Овчинников
"... and routines to work with the finite volume method and adaptive mesh. This library supports parallelism through ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... и выполняющегося в окружении с высокой степенью параллелизма. Существенной особенностью этого кода ..."
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... описывает исследование того, насколько различные возможности параллелизма в Scala (акторы, параллельные ..."
 
Том 26, № 6 (2014) Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции Аннотация  PDF (Rus)  похожие документы
Антон Ермаков
"... недетерминированного конечного полностью определенного автомата относительно редукции. ..."
 
Том 34, № 4 (2022) Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер Аннотация  похожие документы
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ
"... -to-source automatic parallelizing compiler that expresses parallelism with the DVMH directive-based ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... данной работе рассматривается построение адаптивной проверяющей последовательности относительно редукции ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... The enhanced utilization of outsourcing services for a part of VLSIs (Intellectual Property cores ..."
 
Том 36, № 1 (2024) Исследование роли ботов в разработке программного обеспечения Аннотация  похожие документы
Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ
 
Том 36, № 6 (2024) Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы Аннотация  похожие документы
Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС
"... Program Synthesis is the process of automatically generating software from a requirement ..."
 
Том 31, № 2 (2019) Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках Аннотация  PDF (Rus)  похожие документы
Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал
"... of scientific workflows such as integration, disintegration, parallelism, and pipelining. The results show ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
 
Том 34, № 5 (2022) Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ
"... Application-specific systems with FPGA accelerators are often designed using high-level synthesis ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... This paper presents the results of an experimental comparison of methods for the synthesis ..."
 
Том 36, № 5 (2024) Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ
 
Том 36, № 6 (2024) Тематический синтез разработки, ориентированной на поведение: аналитический подход Аннотация  похожие документы
Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... synthesis of BDD, highlighting its challenges, benefits, and implications in software development ..."
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... to traditional methods based on reinforcement learning. The possibility of fully automatic synthesis of an analog ..."
 
Том 37, № 2 (2025) Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА
"... Hardware development is a time-consuming process that includes logic synthesis, placement ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
 
Том 33, № 6 (2021) Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ
"... of open-source tools for neural network inference, acceleration and hardware synthesis. Some of the tools ..."
 
Том 36, № 4 (2024) Сравнение алгоритмов клонирования голоса в условиях нулевого и малого количества примеров Аннотация  похожие документы
Ольга ОГАНЕСЯН, Давид САРГСЯН, Aртур МАЛАДЖЯН
 
Том 32, № 5 (2020) Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 Аннотация  PDF (Rus)  похожие документы
Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
 
Том 31, № 4 (2019) Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен Аннотация  PDF (Rus)  похожие документы
Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей
"... . An efficient technology of deferred synthesis of stereoclips is proposed. It allows to create stereoclips ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... are intercompared - VLSI Data Sets based on very large scale integration schemes and National TSPs that use ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... of global routing for VLSI ASIC design. An algorithm has been developed for generating a training dataset ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... in this paper are: code optimization, logical synthesis optimization, model abstraction, and functional ..."
 
1 - 39 из 62 результатов 1 2 > >> 

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

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