Вы здесь

Главная

статический

Связанные издания:

Typed Static Analysis: Application to Groudness Analysis of PROLOG and LambdaPROLOG
Using Static Analysis to Compile Non-sequential Functional Logic Programs
Using Static Analysis to Derive Imperative Code from ALPHA
Using Static Analysis to Improve Automatic Test Generation
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Анализ информационных влияний в Модула-программах
Генерация тестов для модулей проверки статической семантики в компиляторах
Генерация тестов для семантических анализаторов
Инкрементальные методы анализа программ
Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации
Коммутируемая Ethernet
Конфигурируемая система статической верификации модулей ядра операционных систем
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX
Моделирование сложных дискретных систем на ЭВМ третьего поколения (опыт применения GPSS)
Направленная генерация тестовых данных для анализаторов статической семантики
Обзор средств статической отладки программ
Опыт развития инструмента статической верификации BLAST
Применение динамического именования в статической среде
Проверка нескольких требований за один запуск инструмента статической верификации с помо ью CEGAR
Программный метод предварительной подкачки кода в архитектурах со статическим планированием
Разработка и исследование статического и динамического методов управления точностью в системе синтеза алгоритмов
Семантика и логическая теория статически распределённых программ
Сжатие статических изображений с постоянной скоростью сжимаю его кодирования в задачах дистанционного зондирования Земли
Статистические данные о распараллеливаемости программ
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения