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

Maht 6 lehekülge

2011 aasta

0+

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

€1,05

Raamatust

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

Teised versioonid

1 raamat alates 2,04 €
Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat Н. В. Заборовского, А. Г. Тормасова «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки» — laadi alla pdf formaadis või loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+
Ilmumiskuupäev Litres'is:
10 märts 2013
Kirjutamise kuupäev:
2011
Objętość:
6 lk
Üldsuurus:
334 КБ
Lehekülgede koguarv:
6
Õiguste omanik:
Синергия
Allalaadimise formaat:
Tekst
Средний рейтинг 4,7 на основе 17 оценок
Tekst, helivorming on saadaval
Средний рейтинг 3,5 на основе 2 оценок
Tekst
Средний рейтинг 4,6 на основе 8 оценок
Audio Automaatne lugeja
Средний рейтинг 5 на основе 2 оценок
Tekst
Средний рейтинг 0 на основе 0 оценок