000			02460nam a2200505 i 4500
003			KOSZ 005
005			20220623130240.0
008			160620s2022 pl a|||f m||| 00| 0 pol d
035			_a10697
040			_aKOSZ 005/EG _cKOSZ 005/EG
041			_apol _beng
046			_a2022
080			_a004
084			_a410000
100	1		_aGiebas, Damian _eAutor
245	1	0	_aMetoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : _brozprawa doktorska / _cDamian Giebas ; Politechnika Koszalińska. Wydział Elektroniki i Informatyki. Katedra Podstaw Informatyki i Zarządzania.
246	3	0	_aMethod for detecting resource conflicts in multithreaded applications
260			_aKoszalin : _b[s.n.], _c2022.
300			_a130 stron : _bilustracje ; _c30 cm + _e1 dysk optyczny (CD ROM) ; 2 recenzje.
336			_2rdacontent _aTekst _btxt
337			_2rdamedia _aBez urządzenia pośredniczącego _bn
337			_2rdamedia _aKomputer _bc
338			_2rdacarrier _aWolumin _bnc
338			_2rdacarrier _aDysk komputerowy _bcd
500			_aDruk dwustronny.
502			_aRozprawa doktorska. Politechnika Koszalińska. 2022.
504			_aBibliografia na stronach 123-130.
506			_aDostępne online na zasadzie licencji Creative Commons wersja CC BY-SA 4.0.
520			_aW 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.
546			_aStreszczenie w języku polskim i angielskim.
653			_aPthread
653			_aJęzyk C
653			_aWielowątkowość
653			_aLokalizowanie
653			_aKonflikt zasobowy
655		4	_aRozprawa doktorska
658			_aInżynieria i technika
700	1		_aBocewicz, Grzegorz _ePromotor
700	1		_aWojszczyk, Rafał _ePromotor
700	1		_aPatalas-Maliszewska, Justyna _eRecenzja
700	1		_aJóźwiak, Ireneusz _eRecenzja
710	2		_aWydział Elektroniki i Informatyki (Politechnika Koszalińska).
942			_2UKD _cDOK
999			_c10698 _d10698