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

Hajm 6 sahifalar

2011 yil

0+

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

14 692,38 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 1 469,24 soʻm oling.

Kitob haqida

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

Boshqa versiyalar

1 kitob 28 466,48 soʻm
seriyasiga kiradi "Прикладная информатика. Научные статьи"
Seriyadagi barcha kitoblar
Kiring, kitobni baholash va sharh qoldirish uchun
Kitob Н. В. Заборовского, А. Г. Тормасова «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
10 mart 2013
Yozilgan sana:
2011
Hajm:
6 Sahifa
Umumiy o'lcham:
334 КБ
Umumiy sahifalar soni :
6
Mualliflik huquqi egasi:
Синергия
Yuklab olish formati:
Matn PDF
O'rtacha reyting 0, 0 ta baholash asosida
Matn PDF
O'rtacha reyting 4,5, 2 ta baholash asosida