Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Viktor N. Izotov"'
Publikováno v:
2020 ELEKTRO.
One of the most common and poorly detectable errors in parallel algorithms is data race condition. The article proposes an approach to detecting such states of data races based on simulation of a program using the mathematical apparatus of Petri nets