Электронная книга: Н. В. Заборовский «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки»
|
Серия: "Прикладная информатика. Научные статьи" В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциямикода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению. Издательство: "Синергия" (2011)
электронная книга Купить за 79.9 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Статическое обнаружение гонок в коде, содержащем ветвления и циклы | Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье… — Синергия, Прикладная информатика. Научные статьи электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Заборовский — Заборовский фамилия. Известные носители: Заборовский, Александр Игнатьевич (1894 1975) советский ученый. Заборовский, Иван Александрович (1735 1817) видный российский военный и государственный деятель. Заборовский, Семён (?… … Википедия
Заборовский Семен (Семой) — Заборовский, Семен (Семой) дьяк, посланный в июле 1613 г. со Ст. Мих. Ушаковым к германскому императору известить его о вступлении на престол московский Михаила Федоровича , напомнить о братственной любви и дружбе и добиться от него полезного для … Биографический словарь
Заборовский Иван Александрович — Заборовский (Иван Александрович) во время 1 турецкой войны при Екатерине II состоял бригадиром в армии Румянцева . В 1774 г. он был послан за Балканы, для рассеяния собиравшихся там турецких отрядов, и проник в этом направлении дальше всех… … Биографический словарь
Заборовский А. И. — Заборовский А. И. Aлександр Игнатьевич сов. учёный в области разведочной геофизики, д p физ. матем. наук (1947). Oкончил Петерб. ун т (1917). B 1919 выполнил магнитометрич. исследования на площади KMA. C 1923 работал в Mоск. горн.… … Геологическая энциклопедия
ЗАБОРОВСКИЙ Юрий — актер. 1978 ЗЛОЙ ДУХ ЯМБУЯ 1984 ВЕРА. НАДЕЖДА. ЛЮБОВЬ (см. ВЕРА. НАДЕЖДА. ЛЮБОВЬ (1984)) 1984 КОСТЕР В БЕЛОЙ НОЧИ 1987 В КРЫМУ НЕ ВСЕГДА ЛЕТО 1987 СИЛЬНЕЕ ВСЕХ ИНЫХ ВЕЛЕНИЙ («Сюита на русские темы») 1994 ЖЕЛЕЗНЫЙ ЗАНАВЕС … Энциклопедия кино
Заборовский, Тимон — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/20 июня 2012. Пока процесс обсуждения не завершён, статью можно попытаться улучшить, однако следует воздерживаться… … Википедия
