• Электронные книги
  • Авторы
  • Программы
Найти книгу:

электронные книги

  • бизнес-книги
  • детские книги
  • дом, дача
  • зарубежная литература
  • знания и навыки
    • изучение языков
    • компьютерная литература
      • базы данных
      • интернет
      • информационная безопасность
      • книги о компьютерах
      • компьютерное железо
      • ОС и сети
      • программирование
      • программы
    • научно-популярная литература
    • словари, справочники
    • учебная и научная литература
  • история
  • комиксы и манга
  • легкое чтение
  • психология, мотивация
  • публицистика и периодические издания
  • родителям
  • серьезное чтение
  • спорт, здоровье, красота
  • хобби, досуг

Н. В. Заборовский — Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Купить и скачать за 96 ₽





Понравилась книга? Поделись в соцсетях:
Facebook Twitter Вконтакте OK

Автор: Н. В. Заборовский

Издатель: Синергия

Год: 2011

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

Купить и скачать за 96 ₽


© epub.ru      О сайте