Сортировать по:
| Выпуск | Название | |
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... is to inject faults while replaying program deterministically. Deterministic replay requires program execution ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... replaying guest OS and applications without modifications. Deterministic replay is intended for debugging ..." | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, П. М. Довгалюк | ||
| "... implementation of software reverse debugging using deterministic replay based on the QEMU emulator. We present ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... The deterministic replay technique can be used for debugging, improving reliability and robustness ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| "... a description of deterministic replay implemented in the QEMU emulator to supply the stated functionalities. ..." | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
| Павел Довгалюк | ||
| "... The paper describes a technology that allows to capture and rerun scripts of program execution ..." | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) похожие документы |
| Н. Г. Кушик | ||
| "... . The fault model is considered to be a ‘white box’ where all possible implementations are explicitly ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... problem for two formal models of programs: deterministic finite state transducers over finitely generated ..." | ||
| Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... for these typical faults. We distinguished 3 classes of typical faults: generic (faults all C programs are subjected ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... deterministic replay, the situation is complicated not only by additional and not quite obvious parameters ..." | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... . There are many papers devoted to deriving a checking sequence that can distinguish a complete deterministic ..." | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... fault coverage for discrete event systems and as the behavior of many nowadays information and control ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... to the machine. A TFSM is called strictly deterministic if every input timed word activates no more than one ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... . They may be used also as simple models of sequential reactive programs. These programs operate ..." | ||
| Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
| Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
| "... as separate sub-services. The light version implementation was done for the only method: method of fault ..." | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| "... fault injection in Linux kernel. The main goal is to test if kernel components correctly handle abnormal ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage ..." | ||
| Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
| Л. В. Иваничкина, А. П. Непорада | ||
| "... for both explicit disk faults and latent bit errors as well as procedures to detect them. A new analytical ..." | ||
| Том 33, № 1 (2021) | Выявление неисправностей в группах мобильных роботов с использованием скользящих наблюдателей | Аннотация PDF (Rus) похожие документы |
| Олег Юрьевич СЕРГИЕНКО, Алексей Нилович ЖИРАБОК | ||
| "... for efficient solutions of fault identification problem for mobile robot groups under the unmatched disturbances ..." | ||
| Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
| "... on such weak entity if we translate the user program into an iterative form that converges to the result ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... to create powerful, often parallel, programs and software systems. This leads to the growth of complexity ..." | ||
| Том 31, № 2 (2019) | Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках | Аннотация PDF (Rus) похожие документы |
| Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал | ||
| "... can also instigate inconvenience. Therefore, provision of fault-tolerant techniques with data-oriented ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... Historically program analysis methods are divided into two groups - static program analysis methods ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... Program Synthesis is the process of automatically generating software from a requirement ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... , we showcase several dynamic program analysis applications and present our solutions ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... This paper describes the principles of program dynamic analysis for defect detection using input ..." | ||
| Том 31, № 1 (2019) | Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров | ||
| Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
| Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
| "... An automatic program defect detection is extremely important direction of current research ..." | ||
| Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
| В. Г. Варданян | ||
| "... makes it possible to implement many well-known classic optimizations to improve programs performance ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... The method for exploitability estimation of program bugs is presented. Using this technique allows ..." | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| "... The paper presents a debugger for parallel programs in С/C++, or FORTRAN, which are executed ..." | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Евгений Шарыгин | ||
| "... of JavaScript programs as a binary package containing bytecode and a native code. The framework consists of two ..." | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... Many problems in software engineering such as program refactoring, deobfuscation, vulnerability ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... by this calculus precisely correspond to reachable states of the original program. We establish the correspondence ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... of the problem, or to equivalent transformations of the program model in the ProVerif language, simplifying ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... . The algorithm is based on the construction of similarity features vector for a given pair of programs ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... to use natural languages for queries and perform matching on the basis of a formal program representation ..." | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
| А. Э. Молчанов | ||
| "... The article belongs to the theory of program schemes, which are objects designed for the analysis ..." | ||
| 1 - 39 из 355 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
