Журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ»
УДК:681.142.2
Номер:4 (57)
Скачать PDF335 Кбайт
ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Аннотация:
Решена задача поиска процедур в программном продукте при верификации вычислительного процесса, реализованного в виде программы. Предложен алгоритм поиска начальных адресов процедур и их распространения в адресном пространстве программы.
Ключевые слова:
Постоянный URL
Статьи в номере
- ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ МАРКИРОВАНИЯ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ В ЧАСТОТНОЙ ОБЛАСТИ НА ОСНОВЕ ДИСКРЕТНОГО ПРЕОБРАЗОВАНИЯ АДАМАРА
- НЕПРОТИВОРЕЧИВАЯ МОДЕЛЬ МАНДАТНОГО КОНТРОЛЯ ДОСТУПА
- МЕТОД ЗАЩИТЫ ОТ АТАК ТИПА DRIVE-BY-ЗАГРУЗКА
- МЕТОДЫ ПОВЫШЕНИЯ РОБАСТНОСТИ РАСПОЗНАВАНИЯ В МУЛЬТИМОДАЛЬНЫХ БИОМЕТРИЧЕСКИХ СИСТЕМАХ
- ПРЕОБРАЗОВАНИЕ ЕСТЕСТВЕННОГО ЯЗЫКА В ФОРМАТ RDF С ПОМОЩЬЮ СЕМАНТИЧЕСКИХ АНАЛИЗАТОРОВ ТЕКСТОВОЙ ИНФОРМАЦИИ
- ПАРАМЕТРЫ КАЧЕСТВА ОБСЛУЖИВАНИЯ WEB-СЕРВИСОВ ОТРАСЛИ ПРИБОРОСТРОЕНИЯ
- ПРОЕКТИРОВАНИЕ СИСТЕМ С ПРИОРИТЕТАМИ
- МЕТОД РАСЧЕТА ХАРАКТЕРИСТИК ЗАМКНУТЫХ ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ МУЛЬТИСЕРВИСНЫХ КОМПЬЮТЕРНЫХ СЕТЕЙ
- ВРЕМЯ ОЖИДАНИЯ В НЕОДНОРОДНЫХ СИСТЕМАХ С ОЧЕРЕДЯМИ ПРИ ОБСЛУЖИВАНИИ ЗАЯВОК В ПОРЯДКЕ ПОСТУПЛЕНИЯ
- ОПТИМИЗАЦИЯ ПЕРЕРАСПРЕДЕЛЕНИЯ НАГРУЗКИ В КЛАСТЕРАХ ПРИ ИЗМЕНЯЮЩЕЙСЯ АКТИВНОСТИ ИСТОЧНИКОВ ЗАПРОСОВ
- ОЦЕНКА НАДЕЖНОСТИ ВЫПОЛНЕНИЯ КЛАСТЕРАМИ ЗАПРОСОВ РЕАЛЬНОГО ВРЕМЕНИ
- РЕКОНФИГУРИРУЕМЫЕ ВСТРАИВАЕМЫЕ СИСТЕМЫ И СИСТЕМЫ НА КРИСТАЛЛЕ
- МОНИТОР ВРЕМЕННЫХ ОГРАНИЧЕНИЙ ДЛЯ СИСТЕМ НА КРИСТАЛЛЕ
- ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ
- МЕТОДЫ И СРЕДСТВА МОНИТОРИНГА ДЫХАНИЯ
- КВАЗИАБСОЛЮТНЫЙ ЦИФРОВОЙ ПРЕОБРАЗОВАТЕЛЬ УГЛА НА ОСНОВЕ ДВУХДОРОЖЕЧНОЙ РЕКУРСИВНОЙ НЕЛИНЕЙНОЙ КОДОВОЙ ШКАЛЫ
- КОДОВЫЕ ШКАЛЫ НА ОСНОВЕ ИНВЕРСНО-СОПРЯЖЕННЫХ ДВОИЧНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ