Требуемые страницы
Ниже показаны до 101 результата, начиная с №51.
Просмотреть (предыдущие 500 | следующие 500) (20 | 50 | 100 | 250 | 500)
- Дискретная математика 1 (группа 141) (1 ссылка)
- Формальные модели программ и свободные схемы (1 ссылка)
- О преобразовании операторных процедур в логические программы (1 ссылка)
- On the concept of software obfuscation in computer security (1 ссылка)
- Program obfuscation as obstruction of program static analysis (1 ссылка)
- Основы кибернетики (1-й поток) (1 ссылка)
- Математические модели задач физического проектирования микросхем (EDA) (1 ссылка)
- О проблеме эквивалентности потоковых программ (1 ссылка)
- Автоматные модели машин Тьюринга (1 ссылка)
- Современные методы обфускации программ: классификация и сравнительный анализ (1 ссылка)
- О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов (1 ссылка)
- Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structures (1 ссылка)
- Об одной алгебраической модели программ, связанной с обработкой прерываний (1 ссылка)
- Об одном подходе к верификации симметрических параметризованных распределенных систем (1 ссылка)
- Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода (1 ссылка)
- Элементы теории синтеза и сложности дискретных управляющих систем (1 ссылка)
- О применении антиунификации подстановок для проверки эквивалентности программ (1 ссылка)
- On the decidability of the equivalence problem for orthogonal sequential programs (1 ссылка)
- The equivalence problem for computational models: Decidable and Undecidable Cases (1 ссылка)
- Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами (1 ссылка)
- Математические проблемы обфускации (1 ссылка)
- О проверке k-значности конечных автоматов-преобразователей над полугруппами (1 ссылка)
- Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени (1 ссылка)
- О восстановлении сети процесса по последовательности срабатываний переходов сети Петри (1 ссылка)
- Consistent network update without tagging (1 ссылка)
- Об одной задаче верификации параметризованных конечных систем переходов (1 ссылка)
- Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем (1 ссылка)
- К вопросу о дедуктивной безопасности вычислений над зашифрованными данными (1 ссылка)
- Эффективные алгоритмы и их программные реализации (1 ссылка)
- О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов (1 ссылка)
- On the equivalence-checking problem for polysemantic models of sequential programs (1 ссылка)
- The equivalence problem for programs with mode switching is PSPACE-complete (1 ссылка)
- Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ (1 ссылка)
- Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA (1 ссылка)
- О противодействии некоторым алгоритмам статического анализа программ (1 ссылка)
- Об одной модели последовательных программ с динамической памятью (1 ссылка)
- Аппроксимация абстрактных семантик формальными моделями программ (1 ссылка)
- Темпоральная логика для верификации автоматов-преобразователей (1 ссылка)
- О двухленточных машинах, описывающих полугруппы с сокращением (1 ссылка)
- DYANA: an integrated development environment for simulation and verification of real-time avionics systems (1 ссылка)
- Об отношении аппроксимируемости семантик операторных программ (1 ссылка)
- К вопросу о существовании доказуемо стойких систем облачных вычислений (1 ссылка)
- Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний (1 ссылка)
- О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программ (1 ссылка)
- On the equivalence checking problem for a model of programs related with muti-tape automata (1 ссылка)
- To the obfuscation of sequential program control-flow (1 ссылка)
- Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (1 ссылка)
- Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA (1 ссылка)
- A Formal Model and Verification Problems for Software Defined Networks (1 ссылка)
- О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ (1 ссылка)
- Об одной полисемантической модели последовательных программ (1 ссылка)
- Теоретико-автоматный подход к определению формальных семантик языков программирования (1 ссылка)
- О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений (1 ссылка)
- Encoding mobile ambients into the pi-calculus (1 ссылка)
- Об эквивалентности металинейных унарных рекурсивных программ (1 ссылка)
- К вопросу о существовании стойких обфускаторов программ (1 ссылка)
- Языки описания схем. Проблемы верификации (1 ссылка)
- О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью (1 ссылка)
- On the equivalence problem for programs with mode switching (1 ссылка)
- Towards a unified toolset for embedded systems development (1 ссылка)
- Применение алгебры подстановок для унификации программ (1 ссылка)
- Методы защиты проектных решений при проектировании микроэлектронных схем (1 ссылка)
- A runtime verification system for Software Defined Networks (1 ссылка)
- О разрешимости проблемы эквивалентности в одном классе операторных программ (1 ссылка)
- Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов (1 ссылка)
- Быстрые алгоритмы антиунификации и их применение при анализе программ (1 ссылка)
- Теория надежности и контроля схем. Методы построения тестов (1 ссылка)
- О логико-термальной эквивалентности стандартных схем программ (1 ссылка)
- Equivalence Checking Problem for Finite State Transducers (1 ссылка)
- On the minimization and equivalence checking of sequential reactive systems (1 ссылка)
- Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами (1 ссылка)
- К вопросу об обфускации конечных автоматов (1 ссылка)
- О проблеме обфускации программ (1 ссылка)
- Two-sided unification is NP-complete (1 ссылка)
- Применение алгоритмов проверки эквивалентности для оптимизации программ (1 ссылка)
- Модели и алгоритмы в задаче проверки эквивалентности программ (1 ссылка)
- An approach to the obfuscation of control-flow of sequential computer programs (1 ссылка)
- О сложности задачи антиунификации (1 ссылка)
- Об одной системе вывода, связанной со статическим анализом программ (1 ссылка)
- Быстрые алгоритмы разрешения эквивалентности операторных программ на уравновешенных шкалах (1 ссылка)
- Универсальный подход к проверке отношений симуляции для моделей программ (1 ссылка)
- О международном проекте в области проверки правильности программного обеспечения встроенных систем (1 ссылка)
- Establishing Linux Driver Verification Processes (1 ссылка)
- On the model checking of sequential reactive systems (1 ссылка)
- Об эквивалентности потоковых программ (1 ссылка)
- Как разработать простое средство верификации систем реального времени (1 ссылка)
- О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами (1 ссылка)
- Two-tape machinery for the equivalence checking of sequential programs (1 ссылка)
- Применение методов теории игр к поиску некоторых видов симуляции на размеченных системах переходов с ограничениями справедливости (1 ссылка)
- Моделирование и анализ поведения последовательных реагирующих программ (1 ссылка)
- An efficient and unified approach to the decidability of equivalence of propositional program schemes (1 ссылка)
- О сложности задачи решения линейных уравнений над конечными подстановками (1 ссылка)
- Об одном критерии сравнимости операторных формальных моделей программ (1 ссылка)
- Быстрые алгоритмы разрешения эквивалентности пропозициональных операторных программ на упорядоченных полугрупповых шкалах (1 ссылка)
- Унификация программ (1 ссылка)
- О минимизации конечных автоматов-преобразователей над полугруппами (1 ссылка)
- How to cook an automated system for Linux driver verification (1 ссылка)
- On the possibility of provably secure obfuscating programs (1 ссылка)
- Об эффективной разрешимости проблемы эквивалентности линейных унарных рекурсивных программ (1 ссылка)
- Комбинированное средство верификации распределённых вычислительных систем реального времени (1 ссылка)
- О проблеме эквивалентности для схем программ с операторами засылки констант (1 ссылка)
Просмотреть (предыдущие 500 | следующие 500) (20 | 50 | 100 | 250 | 500)