Сортировать по:
| Выпуск | Название | |
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... , и принадлежащие им примитивные схемы программ. Для них разрешима проблема эквивалентности. В данной статье ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... либеризации. Введено понятие примитивных схем программ как подкласса специальных перегородчатых. Для них ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... самих программ на их образах – схемах программ. Для моделей программ с процедурами, в которых оба ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... самих программ на их образах - схемах программ. Излагаются концепции, лежащие в основе построения теории ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... и деобфусцированной. Для получения динамических характеристик программы в работе построена схема, основанная ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... проход рабочего цикла ПЛК. Фактически CFC-программа представляет собой схему потоков данных ПЛК ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... обеспечения. Процесс-ориентированная программа определяется как последовательность процессов. Каждый процесс ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... верификации программ развития сельскохозяйственных территорий сначала строится структурная схема программы ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... Трансформационный подход к верификации программ был очень популярной темой исследований в первые ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... обеспечения, в котором программа определяется как набор взаимодействующих процессов. PoST — это процесс ..." | ||
| Том 33, № 2 (2026) | Автоматизация доказательства условий корректности в системе дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... обеспечения, при котором программа представляется в виде набора взаимодействующих процессов. PoST представляет ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... сравниваемых программ. Строится схема оценки (анализа) стойкости обфусцирующих преобразований, в соответствии ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... изменения параллелизма схемы и эквивалентных преобразований параллельных программ. Предложенный подход ..." | ||
| Том 32, № 4 (2025) | Моделирование скрытого аттрактора в системе Чуа на основе аналоговой схемы с операционными усилителями | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Пчелинцев | ||
| "... В статье рассматривается аналоговая схема (аналоговый компьютер), в которой динамика изменения ..." | ||
| Том 23, № 2 (2016) | Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий | Аннотация PDF (Rus) похожие документы |
| А. Г. Ченцов, А. А. Ченцов | ||
| "... "пройденным" фрагментам листа. В статье приведена схема построения оптимального решения на основе широко ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... устройств (цифровых схем). Отправной точкой разработки схемы, согласно современным методам проектирования ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... схема пенализации / поощрения складывается из отдельных аспектов: 1. Пенализация за актуальность ..." | ||
| 1 - 18 из 18 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
