УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
В древности люди учились для того, чтобы совершенствовать себя. Нынче учатся для того, чтобы удивить других.
Конфуций

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов


Program Analysis Techniques for Identifying Concurrency Errors




   
Today, multi-core/multi-processor hardware has become ubiquitous, which puts us at a fundamental turning point on software development. However, developing concurrent programs is difficult. Concurrency introduces the possibility of errors that do not exist in sequential programs. This book covers the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation and also presents several aggressive performance optimization techniques for hybrid program analysis.






Студенту на заметку:
Штамм коронавируса COVID-19 Delta вP2 раза увеличивает риск госпитализации
Британские ученые определили, что штамм коронавируса [Дельтаk удваивает вероятность госпитализации по сравнению со штаммом [Альфаk. К такому выводу они пришли после проведения анализа более 43,3 тысяч случаев коронавирусной инфекции. Исследователи провели новый научный проект в Индии.


Шпинат теперь может отправлять электронные письма
Ученым удалось превратить растение в датчики взрывчатых веществ. Как только корни шпината пересекутся с нитросоединениями в грунтовых водах, листья растения передают сигнал. Инфракрасная камера его считает, а специалисты получат электронное письмо.