Сортировать по:
| Выпуск | Название | |
| Том 27, № 2 (2020) | Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... by searching (for example, using symbolic execution) and subsequent elimination of the vulnerabilities ..." | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... When exploiting software vulnerabilities such as buffer overflows, code reuse techniques are often ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: Ю. В. Косолапов, «Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода», Моделирование и анализ информационных систем, Том 27, №2, с. 138–151, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-2-138-151 | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... In the article by Y. V. Kosolapov “On the Detection of Exploitation of Vulnerabilities Leading ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... for detecting vulnerabilities in C programs. In this paper we present an approach for dynamic detection ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... vulnerabilities and attack methods, as well as the search for innovative approaches to detecting and preventing ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... example — the Needham-Schroeder public key authentication protocol. After detecting a known vulnerability ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
| А. В. Майоров | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... to the automatic verification tool Cadence SMV. Some possible PLC-program vulnerabilities arising at a number ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... . The main reasons are large overhead for the execution of obfuscated code and the limitation of application ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| "... The goal of this article is to consider the task of determining the execution frequency of program ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... for multiprocessor systems with fixed-priority preemptive schedulers and the interval uncertainty of tasks execution ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... vulnerabilities, centralization of management functions paves way for new security threats by isolating controller ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..." | ||
| Том 18, № 2 (2011) | Организация выполнения объектных запросов в динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| "... The problem of algorithm for organization of the object queries execution [1] for a new object DBMS ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... of the fast and optimal search of the unique execution paths that is valuable in the methods of static code ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... operations of the algorithm to speed up its execution. It also describes the results of an experiment ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... , an execution model of an abstract program on an abstract processor is described in the language of a model ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... and debugging applications for parallel execution on a local network. Communication module library classes ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... execution plans. The goal of this paper is to prove the efficiency of the query minimization algorithms ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of iterations of the control cycle, to simulate time constraints on the execution of processes at certain states ..." | ||
| Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
| "... query has the corresponding DB table – the result of the query execution. These queries have a special ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... states containing program code that define the logic of the process's behavior. Program execution ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... such executions of the program that comply with the consistent behavior of sensors. ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... of computational modules during program execution. It can be used for applications written in any programming ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... definition and generating description of break execution condition. ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... restrictions on input variables and correctness conditions of the result of the program execution, respectively ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... program execution within one PLC working cycle. In fact, CFC-program is a scheme of PLC-program data flow. ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... program execution and dynamically redistribute work between computing modules. Any language with support ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... that if recursive queries contain universe functions and relations, then its execution can fall into an infinite ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... parallel branches of computation directly during program execution and dynamically redistribute work ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... dependencies. The main way of their execution is interpretation, which does not allow to perform calculations ..." | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов, С. И. Вовчок | ||
| "... generators and execution speed. Speed is achieved through distributed work and the fact that in any time ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... if the workload is increases to the peak load, at which the grid comes to a complete deadlock. The execution ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... available for CakeML, rather than relying on a virtual machine for execution of smart contracts; (3) using ..." | ||
| Том 29, № 3 (2022) | На пути к нейросетевой маршрутизации с верифицированными границами эффективности | Аннотация PDF (Rus) похожие документы |
| Игорь Петрович Бужинский, Анатолий Абрамович Шалыто | ||
| "... , depends on multiple executions of these DNNs. Under several assumptions, we reduce the problem to a number ..." | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... of computation directly during program execution and dynamically redistribute work between computing modules. Any ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... execution based on automatic parallelization of Cloud Sisal loops. Cloud-Sisal-kernel is an intermediate ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... in the execution of activities. For replay, we consider a jump strategy where tokens absent from input places ..." | ||
| 1 - 43 из 43 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
