Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska /
Giebas, Adam
Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska / Damian Giebas ; Politechnika Koszalińska. Wydział Elektroniki i Informatyki. Katedra Podstaw Informatyki i Zarządzania. - Koszalin : [s.n.], 2022. - 130 stron : ilustracje ; 30 cm + 1 dysk optyczny (CD ROM) ; 2 recenzje.
Method for detecting resource conflicts in multithreaded applications
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.
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.
Streszczenie w języku polskim i angielskim.
C (język programowania)
Programy komputerowe
Weryfikacja oprogramowania
Błąd (informatyka)
Kod źródłowy
Rozprawa doktorska
Informatyka i technologie informacyjne
004.4
Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska / Damian Giebas ; Politechnika Koszalińska. Wydział Elektroniki i Informatyki. Katedra Podstaw Informatyki i Zarządzania. - Koszalin : [s.n.], 2022. - 130 stron : ilustracje ; 30 cm + 1 dysk optyczny (CD ROM) ; 2 recenzje.
Method for detecting resource conflicts in multithreaded applications
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.
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.
Streszczenie w języku polskim i angielskim.
C (język programowania)
Programy komputerowe
Weryfikacja oprogramowania
Błąd (informatyka)
Kod źródłowy
Rozprawa doktorska
Informatyka i technologie informacyjne
004.4