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.
Material type:
TextLanguage: Polish Summary language: English Publication details: Koszalin : [s.n.], 2022.Description: 130 stron : ilustracje ; 30 cm + 1 dysk optyczny (CD ROM) ; 2 recenzjeContent type: - Tekst
- Bez urządzenia pośredniczącego
- Komputer
- Wolumin
- Dysk komputerowy
- Method for detecting resource conflicts in multithreaded applications
| Item type | Current library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Doctor's thesis
|
Biblioteka Politechniki Koszalińskiej | Informatorium | RD 246 | Tylko na miejscu | 00900294 |
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.