Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 2 (2025) Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования Аннотация  PDF (Rus)  похожие документы
Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН
"... of analog integrated circuits, is formulated as an optimization problem for a differentiable smooth function ..."
 
Том 37, № 2 (2025) Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН
"... Circuit simulation is an important part of the microelectronics design flow. This paper presents ..."
 
Том 29, № 3 (2017) О задаче приближенного нахождения максимальной двудольной клики Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин
"... ’s analog for bipartite graphs. ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... , reprogramming components based on FPGA and so on) to cut VLSI cost increases risk of inserting Trojan Circuits ..."
 
Том 35, № 5 (2023) Открытая система хранения и обработки набора данных комбинационных схем Аннотация  похожие документы
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ
"... circuits. The previously created methods for generating combinational circuits have been optimized ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..."
 
Том 31, № 1 (2019) Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос Аннотация  PDF (Rus)  похожие документы
Денис Олегович Лазарев, Николай Николаевич Кузюрин
"... In this article, an analog of previously proposed algorithm Limited Hash Packing for Multiple Strip ..."
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... preliminary experiments with different methods of test generation for digital circuits, in order to check ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
 
Том 37, № 3 (2025) Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом Аннотация  похожие документы
Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН
"... of ESD diode and GGMOS macro models using open-source circuit simulation tools (Qucs-S and Ngspice ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... , cycles, and circuits. The methods are implemented in a C++ program in the form of a set of data ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... developed a method for synthesizing concurrent error detection systems of combinational circuits, based ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... A new method of combinational circuits concurrent checking is considered based on Boolean ..."
 
Том 35, № 4 (2023) Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ Аннотация  PDF (Rus)  похожие документы
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ
"...  Some modern approaches to detecting defects in printed circuit boards based on automatic optical ..."
 
Том 37, № 3 (2025) Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЕФАНОВ
"... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..."
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... and implementation of digital integrated circuits end-to-end design processes are considered. The method and language ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... The article considers the problem of the synthesis of a self-checking integrated control circuit ..."
 
Том 32, № 4 (2020) Использование доменно-состязательного обучения для распознавания текстовых капч Аннотация  PDF (Rus)  похожие документы
Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ
"... method with modern analogs showed that using the same number of real examples for training, our algorithm ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... on the difference analogs of the Helmholtz and Poisson equations. The systems were taken from the test problem about ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... with the existing analogs. ..."
 
Том 36, № 5 (2024) Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ
"... are built from DFCIR descriptions with the use of CIRCT (Circuit IR Compilers and Tools), a subproject ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development ..."
 
Том 19 (2010) Обмен данными в распределенной системе поддержки решений Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... сети, где присутствуют несколько подобных систем: виртуальная интеграция (аналог консилиума) и ..."
 
Том 37, № 3 (2025) Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии Аннотация  PDF (Rus)  похожие документы
Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА
"... and the overall circuit design runtime. In this work we propose the use of the initial layout parameters, which ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... circuit design and machine learning. ..."
 
Том 32, № 4 (2020) Протокол сертификации целостности облачных вычислений Аннотация  PDF (Rus)  похожие документы
Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН
"... при заданных ограничениях. По сравнению с ближайшим аналогом, предложенный протокол упрощает процедуру ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... на медицину, где можно найти множество аналогов такого поведения. ..."
 
Том 21 (2011) Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов Аннотация  PDF (Rus)  похожие документы
А. С. Павлов, Б. В. Добров
"... чего получается классификатор поискового спама, превосходящий известные аналоги. ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... Максвелла). Построены дискретные аналоги различных конвективных производных (Олдройда, Коттера - Ривлина ..."
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... by the table of difficult structured data in not the first normal form; structural logic circuit of a method ..."
 
Том 35, № 5 (2023) Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС Аннотация  PDF (Rus)  похожие документы
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ
"... This paper focuses on the development of trusted tools for designing digital circuits in the basis ..."
 
Том 36, № 1 (2024) Основы квантовых вычислений и их связь с разработкой программного обеспечения Аннотация  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
"... , and they are implemented using logic gates and quantum circuits. These qualities make quantum computing a paradigm that non ..."
 
Том 20 (2011) Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов
"... удовлетворительные результаты в условиях поставленной задачи, существенно опережая аналоги. В качестве демонстрации ..."
 
Том 31, № 5 (2019) Методы кросс-языкового поиска похожих документов Аннотация  похожие документы
Денис Владимирович Зубарев, Илья Владимирович Соченков
"... оценки всех методов используются русские статьи из Википедии, которые имеют аналоги в англоязычной версии ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... сравнение с наиболее близкими аналогами. ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... разбора заголовков протоколов. Представленные графические компоненты либо не имеют аналогов среди ..."
 
Том 37, № 3 (2025) Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО
"... модернизированных SIR-моделей природных эпидемий для выявления подобия и аналогов в характере распространения ..."
 
Том 37, № 1 (2025) Фреймворк автоматизации тестирования на гонки по данным Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН
"... сценариев тестирования на гонки по данным по аналогии с широко применяемыми тестовыми фреймворками для ..."
 
1 - 39 из 51 результатов 1 2 > >> 

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

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