Скачать книгу - Статическое обнаружение гонок в коде, содержащем ветвления и циклы



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


Мотоциклы. Энциклопедия Мотоциклы. Энциклопедия

Автор: Браун Роланд

Год издания: 

Мотоцикл - это символ свободы, упорства и независимости. Эта энциклопедия знакомит с увлекательным миром мотоциклов и мотоциклистов, с их историей и сегодняшним днем. В книге содержится более 600 фотографий, представлены редкие архивные материалы, которые показывают мотоциклы в историческом и социальном развитии. Вы узнаете об особенностях спортивных и гоночных, туристических и специальных машин, об истории спортивных рекордов, познакомитесь с самыми разнообразными марками мотоциклов. Надеемся, что эта энциклопедия станет настольной книгой каждого поклонника мотоциклов.


Мэтью Кумбс. Мотоциклы. Устройство и Принцип Действия. Мэтью Кумбс. Мотоциклы. Устройство и Принцип Действия.

Автор: Кумбс Мэтью

Год издания: 

Подробное описание принципа действия и устройства двигателя, основных узлов и электрических систем современных мотоциклов. Книга адресована профессионалам, студентам автотехнических специальностей и владельцам мотоциклов и скутеров, желающим понять принцип действия своего транспортного средства. Более 400 иллюстраций.


Техника: автомобили, мотоциклы, поезда, электричество, компьютеры Техника: автомобили, мотоциклы, поезда, электричество, компьютеры

Автор: Рэтленд Джонатан, Стефенс Маргарет

Год издания: 

Серия "Энциклопедия юного ученого", рассчитанная на детей младшего и среднего школьного возраста, рассказывает об интереснейших научных проблемах и открытиях. Книги этой серии, написанные доступным языком и богато иллюстрированные, несомненно, заинтересуют читателя. В них дается описание безопасных опытов и различных конструкций, что способствует быстрому усвоению материала. В серию входят следующие книги: "Космос" (звезды и планеты, космические полеты, реактивные самолеты, телевидение), "Жизнь" (подводный мир, археология, эволюция, человек, медицина), "Техника" (автомобили, мотоциклы, поезда, электричество, компьютеры).


Мотоциклы. Школьный путеводитель Мотоциклы. Школьный путеводитель

Автор: Черненко Г.Т.

Год издания: 

Эта книга о мотоцикле, о его истории от далеких его предков в виде велосипеда без педалей до современных мощных и красивых машин, которые способны развивать огромные скорости. Вы познакомитесь с людьми, которые связали своим жизни с мотоциклами, узнаете много удивительных историй об этих прекрасных машинах и, может быть, тоже «заболеете» любовью к ним.


Мотоциклы Днепр-11, Днепр 16. Каталог Мотоциклы Днепр-11, Днепр 16. Каталог

Автор: 

Год издания: 

В каталоге указаны сборочные единицы и детали мотоциклов «Днепр-11» и «Днепр-16». Каталог на русском, английском, французском, немецком и испанском языках