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

Umfang 6 seiten

2011 Jahr

0+

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

€1,04

Über das Buch

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

Andere Versionen

1 Buch ab 2,02 €
Teil der Serie "Прикладная информатика. Научные статьи"
Alle Bücher der Serie
Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen
Buch Н. В. Заборовского, А. Г. Тормасова «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки» — als pdf herunterladen oder online lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
10 März 2013
Schreibdatum:
2011
Umfang:
6 S.
Gesamtgröße:
334 КБ
Gesamtanzahl der Seiten:
6
Rechteinhaber:
Синергия
Download-Format:
Филлипинские языки
Ярослав Золотарев
Podcast
Durchschnittsbewertung 0 basierend auf 0 Bewertungen
Text PDF
Durchschnittsbewertung 0 basierend auf 0 Bewertungen
Text PDF
Durchschnittsbewertung 0 basierend auf 0 Bewertungen
Text PDF
Durchschnittsbewertung 0 basierend auf 0 Bewertungen
Text PDF
Durchschnittsbewertung 0 basierend auf 0 Bewertungen