10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 0,21 ₼ əldə edin.
Основной контент книги Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Mətn PDF
Kitabın müddəti 6 səhifə
2011 il
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Seriyaya daxildir «Прикладная информатика. Научные статьи»
2 ₼
Kitab haqqında
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
Seriyaya daxildir "Прикладная информатика. Научные статьи"
Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab Н. В. Заборовского, А. Г. Тормасова «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки» - pdf formatında yükləyin və ya onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
