Электронная книга: Н. В. Заборовский «Статическое обнаружение гонок в коде, содержащем ветвления и циклы»
|
Серия: "Прикладная информатика. Научные статьи" Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций. Издательство: "Синергия" (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. Пока процесс обсуждения не завершён, статью можно попытаться улучшить, однако следует воздерживаться… … Википедия
