Сортировать по:
| Выпуск | Название | |
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... , OpenLANE, Coriolis, and SymbiFlow. These tools are aimed to synthesize RTL models into FPGA bitstreams ..." | ||
| Том 32, № 2 (2020) | Исследование технологии RISC-V | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ | ||
| "... conclusions about the prospects of the RISC-V and other open source instruction set architectures. We tried ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... , этапы топологического синтеза и статического временного анализа. Работа представляет интерес для ..." | ||
| Том 35, № 5 (2023) | О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V | Аннотация PDF (Rus) похожие документы |
| Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ | ||
| "... optimizations for the widest range of hardware platforms. This library is optimized for Intel, AMD, ARM and RISC ..." | ||
| Том 37, № 1 (2025) | Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| "... of processor architectures, in particular, ARM SME, RISC-V IME, RISC-V AME extensions, as well as the DaVinci ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| "... compiler infrastructure MLIR (Multi-Level Intermediate Representation). RTL models of accelerators ..." | ||
| Том 37, № 2 (2025) | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) похожие документы |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... особенностей реализации инструмента, теоретические основы модульной починки моделей рассмотрены на уровне ..." | ||
| Том 34, № 5 (2022) | Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич БЕНДЕРСКИЙ, Алена Алексеевна ЧЕРНОВА | ||
| "... инструментов пакета OpenFoam исследуются вопросы влияния формы канала на реализуемые особенности течений ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... автоматического тестирования, предназначенной для приёмочного тестирования инструментов статического анализа ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... данным, которые упускают другие подходы. Инструменты динамического поиска гонок по данным могут ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В статье представляется новый инструмент TSAR, предназначенный для оценки эффективности ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... is proposed. Generated tests have been used for verification of RTL models and FPGA-based prototypes. ..." | ||
| Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
| "... выделенного набора типовых задач формируется методика рассмотрения и оценки инструментов управления ..." | ||
| Том 33, № 1 (2021) | Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы | Аннотация PDF (Rus) похожие документы |
| Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР | ||
| "... усовершенствования методов, инструментов, протоколов и архитектуры UWSN. В связи с этим существует острая ..." | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
| Е. А. Ильченко | ||
| "... инструментов системы компьютерной алгебры MathPartner, которые предназначены для взаимодействия с ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... описывается архитектура инструмента для языков C/C++ на основе компиляторной инфраструктуры LLVM, в которой ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... Вполне структурированные системы переходов являются хорошо известным инструментом для ..." | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... В результате работы по направлению анализа IoT-устройств авторами был создан инструмент ELF ..." | ||
| Том 34, № 3 (2022) | Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ | ||
| "... инструменты имеют ряд серьёзных недостатков, например, они не поддерживают сравнение сборок .NET Core. В ..." | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| "... интегральных схем (ПЛИС), все чаще проектируются при помощи инструментов высокоуровневого синтеза и ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... В статье приведен обзор существующих подходов к моделированию памяти Си-программ в инструментах ..." | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) похожие документы |
| Павел Петрович Олейник | ||
| "... В данной статье представлена унифицированная модель тестирования инструментов разработки объектно ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
| Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
| А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской | ||
| "... ++, реализованный в инструменте Klocwork Insight. Приводится подробное описание подхода на примере рефакторинга ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| Том 33, № 6 (2021) | Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ | ||
| "... открытых инструментов. В данной статье содержится обзор нескольких открытых инструментов для исполнения ..." | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| "... . The proposed approach was verified using Verilog on ASIC in RTL and physical synthesis tool Cadence Genus ..." | ||
| Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
| С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
| "... корпуса для сравнения викификаторов. В данной статье представлен онлайн-инструмент для совместной работы ..." | ||
| Том 35, № 6 (2023) | Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ | ||
| "... The open IC design flow OpenLane make available the RTL-to-GDS design flow to be implemented ..." | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| "... инструмента для анализа безопасности выбранного протокола используется система Avispa. Протокол описан на ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... бинарного кода и приводится описание разработанного нами инструмента обнаружения клонов в бинарном коде ..." | ||
| Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) похожие документы |
| Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
| "... оптимизаций и их результаты тестирования на известных наборах тестов. Также описывается инструмент TACT ..." | ||
| Том 32, № 2 (2020) | Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка | Аннотация похожие документы |
| Евгений Валерьевич ТИМОЩУК | ||
| "... , написанный на естественном языке, может быть проанализирован при помощи инструментов NLP (Natural Language ..." | ||
| 1 - 40 из 282 результатов | 1 2 3 4 5 6 7 8 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
