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

Длительность книги 6 страниц

2011 год

0+

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

Бесплатно
96 ₽

Начислим

+3

Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.

Участвовать в бонусной программе
Подарите скидку 10%
Посоветуйте эту книгу и получите 9,61 ₽ с покупки её другом.

О книге

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

Другие версии

1 книга от 186 ₽
Войдите, чтобы оценить книгу и оставить отзыв
Книга Н. В. Заборовского, А. Г. Тормасова «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
10 марта 2013
Дата написания:
2011
Объем:
6 стр.
Общий размер:
334 КБ
Общее кол-во страниц:
6
Правообладатель:
Синергия
Формат скачивания:
Текст PDF
Средний рейтинг 0 на основе 0 оценок
Текст
Средний рейтинг 5 на основе 2 оценок
Подкаст
Средний рейтинг 0 на основе 0 оценок
Текст PDF
Средний рейтинг 4,6 на основе 5 оценок
Подкаст
Средний рейтинг 5 на основе 1 оценок
Текст PDF
Средний рейтинг 0 на основе 0 оценок