Сортировать по:
Выпуск | Название | |
Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
"... The article considers the problem of the synthesis of a self-checking integrated control circuit ..." | ||
Том 31, № 1 (2019) | Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов | Аннотация PDF (Rus) похожие документы |
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров | ||
"... method allows checkout of combinational circuit based on constant-weight codes with the same number ..." | ||
Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
"... A method for constructing modified codes with summation of weighted transitions between bits ..." | ||
Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
"... The paper provides an overview of the first impression of the language for implementation low code ..." | ||
Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
"... , including a call graph, control flow, data flow. Studying binary code involves restoring a static model ..." | ||
Том 35, № 6 (2023) | Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ | ||
"... code. The use of the developed software makes it possible to correct a significant part of antenna ..." | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... of source codes in order to provide the ability to control the execution of the program code within ..." | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... that implement complex algorithms on the GPU using Vulkan. The proposed approach uses the technology of code ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... of the operating system in the absence of source codes in order to provide the ability to control the execution ..." | ||
Том 34, № 1 (2022) | Алгоритмы планирования вычислений с учетом избыточности и неопределенности | Аннотация PDF (Rus) похожие документы |
Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА | ||
"... into account redundancy and uncertainty in such distributed applied software packages. Compared to other ..." | ||
Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
А. Ю. Тихонов, А. И. Аветисян | ||
"... This paper investigates the process of binary code analysis. To achieve typical goals ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... Querying source code helps developers to discover code fragments of interest and to determine ..." | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
"... operators. Further binary code analysis (control and data flows, symbolic interpretation, etc.) cannot ..." | ||
Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
"... research was aimed at reconstruction of control flow graph in case of both code virtualization ..." | ||
Том 35, № 4 (2023) | Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ | Аннотация PDF (Rus) похожие документы |
Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ | ||
"... Some modern approaches to detecting defects in printed circuit boards based on automatic optical ..." | ||
Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, М. Н. Никитин | ||
"... ) in rectangular channel with shallow dumbbell dimples was modelled with open source Code_Saturne. An ideal gas (ρ ..." | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... the transformations itself rather than debugging the tests, and therefore it allows correctness of the resulting code ..." | ||
Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
Павел Андреевич Путро | ||
"... software because even fully verified code cannot guarantee the correct generation of machine code ..." | ||
Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
И. Н. Ледовских, М. Г. Бакулин | ||
"... Control flow obfuscation is one of widespread methods used to protect application binary code from ..." | ||
Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... in trust in the new programming code. The given paper is devoted to developing formal logical language ..." | ||
Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
"... and Code_Aster is shown in this article. On the example of the blade for wind turbine, 61.5 meters long ..." | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... This paper describes a new approach for dynamic code analysis. It combines dynamic symbolic ..." | ||
Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов | ||
"... with control scripts. The preliminary classification method and automatic exploit generation method ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... This article discusses the technique of writing code you can use to save time to write a particular ..." | ||
Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
И. . Мельниченко, А. . Камкин, С. . Смолов | ||
"... . As opposed to conventional finite state machines, EFSM models separate datapath and control, which makes ..." | ||
Том 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 ..." | ||
Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
"... for the tools to learn how to write code. In this work we study the ability of Transformers to generate ..." | ||
Том 35, № 5 (2023) | Открытая система хранения и обработки набора данных комбинационных схем | Аннотация похожие документы |
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ | ||
"... circuits. The previously created methods for generating combinational circuits have been optimized ..." | ||
Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
"... Software developers often resort to borrowing code both within one project and from another. Due ..." | ||
Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
П. А. Путро | ||
"... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..." | ||
1 - 30 из 362 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)