10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 1 540,94 soʻm oling.
Основной контент книги Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Matn PDF
Kitob davomiyligi 6 sahifa
2011 yil
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Seriyaga kiradi «Прикладная информатика. Научные статьи»
15 409,31 s`om
Kitob haqida
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
seriyasiga kiradi "Прикладная информатика. Научные статьи"
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.
