Сортировать по:
Выпуск | Название | |
Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров | ||
"... последовательных реагирующих программ. Эти программы работают во взаимодействии с окружающей средой, получая на ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... На примере двух моделей программ показано, что задача оптимизации размера программ может быть ..." | ||
Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..." | ||
Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... Логико-термальная эквивалентность программ - это одно из наиболее слабых отношений эквивалентности ..." | ||
Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Т. А. Новикова | ||
"... синтаксическое устройство, поскольку более глубокий семантический анализ программ сталкивается с алгоритмической ..." | ||
Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
В. В. Подымов, В. А. Захаров | ||
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..." | ||
Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
Т. А. Новикова, В. А. Захаров | ||
"... (рефакторинга) программ - выделения в заданном фрагменте кода тела библиотечной процедуры с целью последующей ..." | ||
Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
"... Обфускацией программ называется такое эквивалентное преобразование программ, которое придает ..." | ||
1 - 8 из 8 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)