TY - BOOK AU - Giebas,Damian AU - Bocewicz,Grzegorz AU - Wojszczyk,Rafał AU - Patalas-Maliszewska,Justyna AU - Jóźwiak,Ireneusz ED - Wydział Elektroniki i Informatyki (Politechnika Koszalińska). TI - Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych: rozprawa doktorska PY - 2022/// CY - Koszalin PB - [s.n.] KW - Pthread KW - Język C KW - Wielowątkowość KW - Lokalizowanie KW - Konflikt zasobowy KW - Rozprawa doktorska KW - Inżynieria i technika N1 - Druk dwustronny; Rozprawa doktorska. Politechnika Koszalińska. 2022; Bibliografia na stronach 123-130; Dostępne online na zasadzie licencji Creative Commons wersja CC BY-SA 4.0 N2 - W dysertacji przedstawiono problem lokalizacji błędów w aplikacjach wielowątkowych. Przegląd literatury tematu pozwolił doprecyzować założenia, składające się na podstawy modelu kodu źródłowego i warunki wykrywania błędów. Umożliwiło to opracowanie metody, jej zaimplementowanie w prototypowym narzędziu i przeprowadzenie eksperymentów w celu weryfikacji opracowanej metody ER -