Сортировать по:
| Выпуск | Название | |
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... Algebraic models of programs considered in this paper generalize two models of programs introduced ..." | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
| А. Э. Молчанов | ||
| "... The article belongs to the theory of program schemes, which are objects designed for the analysis ..." | ||
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... substitution theory and theory of program schemata. Then we introduce a formal model of sequential programs we ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... schemata that are used as a model of sequential imperative programs. Minimization problem for both models ..." | ||
| Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... Described and proved the algorithm for finding some solution of algebraic equations over arbitrary ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which ..." | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... of sequential programs are formally defined. The algebraic properties of semigroups of commutative and absorbing ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... , we showcase several dynamic program analysis applications and present our solutions ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... to create powerful, often parallel, programs and software systems. This leads to the growth of complexity ..." | ||
| Том 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 ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... This paper describes the principles of program dynamic analysis for defect detection using input ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... to use natural languages for queries and perform matching on the basis of a formal program representation ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... Specialization is a program optimization approach that implies the use of a priori information ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... В исследованиях по формальным методам разработки и верификации программ много внимания уделяется ..." | ||
| Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
| Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
| "... An automatic program defect detection is extremely important direction of current research ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... . The algorithm is based on the construction of similarity features vector for a given pair of programs ..." | ||
| Том 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 ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... ) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2 ..." | ||
| Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
| В. Г. Варданян | ||
| "... makes it possible to implement many well-known classic optimizations to improve programs performance ..." | ||
| Том 24 (2013) | Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... phenomena and technological processes is solving of linear algebraic equations systems arising from ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... of the problem, or to equivalent transformations of the program model in the ProVerif language, simplifying ..." | ||
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| "... This paper presents a method for raising the level of abstraction of a program execution trace ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
| И. Н. Ледовских, М. Г. Бакулин | ||
| "... and redundant code insertion) in program trace is given. The main idea underlying the described method of opaque ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... . They may be used also as simple models of sequential reactive programs. These programs operate ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... automatic approach to dynamic analysis of program graphical interfaces. Our approach is based on the open ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... анализа программ на основе символьного исполнения к программному обеспечению, предоставляющему графический ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Source code static analysis is widely used for program errors detection. Mostly it is used ..." | ||
| Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) похожие документы |
| Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
| "... The paper describes the workflow for optimizing programs for performance targeting the fixed ..." | ||
| Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
| "... with no dependencies in C/C++/Fortran programs. We use GCC compiler’s GRAPHITE infrastructure that represents loop ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... This article focuses on practical questions of performing program analysis for applications ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... Binary translation is a process of constructing program Q's binary code from program P's binary ..." | ||
| Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
| "... with cryptoservers to obfuscate software programs. Earlier, we proposed this cloud computing model in our study ..." | ||
| 1 - 39 из 365 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
