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.
Rodzaj materiału:
TekstJęzyk: polski Język streszczenia: angielski Szczegóły wydania: Koszalin : [s.n.], 2022.Opis: 130 stron : ilustracje ; 30 cm + 1 dysk optyczny (CD ROM) ; 2 recenzje.Typ zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Komputer
- Wolumin
- Dysk komputerowy
- Method for detecting resource conflicts in multithreaded applications
| Typ dokumentu | Obecna biblioteka | Lokalizacja | Sygnatura | Status | Termin zwrotu | Kod kreskowy | Zamówienia | |
|---|---|---|---|---|---|---|---|---|
Rozprawa doktorska
|
Biblioteka Politechniki Koszalińskiej | Informatorium | RD 246 | Tylko na miejscu | 00900294 |
Liczba zamówień: 0
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.