Сортировать по:
| Выпуск | Название | |
| Том 37, № 2 (2025) | Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА | ||
| "... eight machine learning models for predicting area and delay of the synthesized ASIC using its netlist ..." | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... В данной работе сделан обзор открытых инструментов логического синтеза, трассировки и размещения ..." | ||
| Том 37, № 2 (2025) | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) похожие документы |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| "... The problem of schematic development (netlist generation), which arises in the development ..." | ||
| Том 33, № 6 (2021) | Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ | ||
| "... for neural network inference: from CPUs and GPUs to FPGAs and ASICs. An important research area is inference ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... проектирования цифровых схем в базисе гетерогенных ПЛИС, как логический синтез и технологическое отображение ..." | ||
| Том 35, № 5 (2023) | Быстрый анализ статического IR drop эффекта на базе методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Роман Александрович СОЛОВЬЁВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Евгений Денисович ДЕМИДОВ, Илья Ильич ШАФЕЕВ | ||
| "... netlists is also discussed in this paper. This solution is ranked in the TOP 3 at the ICCAD Contest 2023 ..." | ||
| Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация похожие документы |
| А. Е. Чебыкин, Я. А. Кириленко | ||
| "... , основанный на глубоком машинном обучении и реализованный в виде инструмента под названием DeepAPI. По ..." | ||
| Том 35, № 5 (2023) | Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем | Аннотация PDF (Rus) похожие документы |
| Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ | ||
| "... of global routing for VLSI ASIC design. An algorithm has been developed for generating a training dataset ..." | ||
| Том 34, № 1 (2022) | Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем | Аннотация похожие документы |
| Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА | ||
| "... программирования для функционально потокового синтеза проектных решений. При реализации метода выделены задачи ..." | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| "... of digital ASICs. To facilitate timely error detection, rule sets are created to regulate hardware ..." | ||
| Том 32, № 5 (2020) | Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 | Аннотация PDF (Rus) похожие документы |
| Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| "... атак на основе методов машинного обучения. Среди доступных публичных наборов данных выбран один из ..." | ||
| Том 37, № 3 (2025) | Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии | Аннотация PDF (Rus) похожие документы |
| Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| "... . The proposed approach was verified using Verilog on ASIC in RTL and physical synthesis tool Cadence Genus ..." | ||
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса ..." | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| "... Проблему использования машинного обучения в кибербезопасности трудно решить, поскольку достижения ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... этого вектора решения о похожести или непохожести программ с помощью методов машинного обучения ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... В инструментах анализа снимков памяти и интроспекции виртуальной машины большое внимание уделяется ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... Программный синтез – это процесс автоматического создания программного обеспечения на основе ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... В статье предлагается подход к интроспекции виртуальных машин с использованием двоичного интерфейса ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... криптографическая стековая машина (CSM). Статья описывает синтаксис и семантику CMN.1, а также представляет ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... использовании различных машинных инструкций или их групп в машинном коде программ. В данной работе описывается ..." | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация похожие документы |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| "... В работе описаны результаты экспериментального сравнения методов синтеза комбинационных логических ..." | ||
| Том 32, № 4 (2020) | Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети | Аннотация PDF (Rus) похожие документы |
| Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ | ||
| Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) похожие документы |
| Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) похожие документы |
| Л. М. Ермакова, С. А. Ермаков | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... вычислительных машинах используется для отладки, повышения отказоустойчивости, а также в различных исследованиях ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... корректной генерации машинного кода компилятором. На данный момент разработчикам таких систем приходится ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... – вычислитель, специально разработанный для предметной области криптографических протоколов, – т. н. C2-машина ..." | ||
| Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
| Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
| Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
| Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
| Том 36, № 1 (2024) | Исследование роли ботов в разработке программного обеспечения | Аннотация похожие документы |
| Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ | ||
| 1 - 39 из 223 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
