- Tytuł:
-
Oprogramowanie wspomagające weryfikację programów współbieżnych w systemie Satori.
A tool facilitating verification of multithreaded programs in Satori system. - Autorzy:
- Wróbel, Marek
- Słowa kluczowe:
-
Lock-free, sytuacja wyścigu, program wielowątkowy.
Lock-free, race condition, multithreaded program - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego