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 recenzjeTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Komputer
- Wolumin
- Dysk komputerowy
- Method for detecting resource conflicts in multithreaded applications
- 410000
| Okładka | Typ dokumentu | Obecna biblioteka | Biblioteka macierzysta | Kolekcja | Lokalizacja | Sygnatura | Materiały określone | Nr tomu/części | URL | Numer kopii | Status | Uwagi | Termin zwrotu | Kod kreskowy | Zamówienia | Kolejka rezerwacji egzemplarzy | Kursy | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Rozprawa doktorska
|
Bibliografia Prac Pracowników - BPK Informatorium | RD 246 (Przeglądaj półkę(Otwórz poniżej)) | CD ROM, 2 recenzje | 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.