Альдебаран
  • Вход / Регистрация
  • Вход
  • Регистрация
Забыли пароль?
  • Книги
  • Аудиокниги
  • Списки
  • Жанры
    • Cаморазвитие / личностный рост
    • Зарубежная психология
    • Попаданцы
    • Боевая фантастика
    • Современные детективы
    • Любовное фэнтези
    • Зарубежные детективы
    • Современные любовные романы
    • Боевое фэнтези
    • Триллеры
    • Современная русская литература
    • Зарубежная деловая литература
    • Космическая фантастика
    • Современная зарубежная литература
    • Все жанры
  • Серии
Главная› Тег «статический анализ кода»
Название тега:
«статический анализ кода»
Книги тега:
  • 1. Статическое обнаружение гонок в коде, содержащем ветвления и циклы
  • 2. Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
  • Скрыть посещенные
  • В виде таблицы
  • В виде списка

Статический анализ кода

  • Статическое обнаружение гонок в коде, содержащем ветвления и циклы

    10.03.2013

    Статическое обнаружение гонок в коде, содержащем ветвления и циклы

    Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом... Подробнее

    000

    ОтложитьЧитал

  • Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

    10.03.2013

    Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

    В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Пре... Подробнее

    000

    ОтложитьЧитал

Электронная библиотека АЛЬДЕБАРАН
  • Контакты
  • Privacy Policy
  • Новинки
  • Популярные авторы
  • Начинающим авторам
  • SelfPub.ru
  • LitRes.ru
  • MyBook.ru
copyright@aldebaran.ru