везде Расширенный поиск
книги Электронные книги Наука, техника, медицина
Заглянуть

Н. Заборовский А. Г. Тормасов

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

Код 4657497

  • 137 кб
  • март 2013
Электронная книга

Нет в продаже

Сообщить о появлении
pdf

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Правообладатель: Синергия
Дата выхода: март 2013
Размер файла: 137 Кб
Поставщик контента: ООО «ЛитРес»

Вместе с этой книгой покупают

Питер Пэн должен умереть
Питер Пэн должен умереть бумажная книга
Джон Вердон
Нет в продаже
С любовью, Лара Джин
С любовью, Лара Джин бумажная книга
Дженни Хан
Нет в продаже
Таро Стража ночи (78 карт и руководство в коробке)
Таро Стража ночи (78 карт и руководство в коробке) бумажная книга
28.64 USD
В корзину
Про деньги, которые не у всех есть
Про деньги, которые не у всех есть бумажная книга
Елена Карташова
Нет в продаже
Правильная рассада. От семян до урожая
Правильная рассада. От семян до урожая бумажная книга
Галина Александровна...
Нет в продаже
Освой самостоятельно C++ по 1 часу в день
Освой самостоятельно C++ по 1 часу в день бумажная книга
Сиддхартха Рао
Нет в продаже