Widok standardowy Widok MARC Widok ISBD

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.

Autor:

Giebas, Damian [Autor]

Współtwórca(-y):

Rodzaj materiału: Tekst

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

Tryb odtwarzania:

Bez urządzenia pośredniczącego
Komputer

Typ nośnika:

Wolumin
Dysk komputerowy

Inny tytuł:

Method for detecting resource conflicts in multithreaded applications

Tematy:

Rodzaj/forma:

Rozprawa doktorska

Inna klasyfikacja:

410000

Uwaga dotycząca dysertacji: Rozprawa doktorska. Politechnika Koszalińska. 2022. Streszczenie: 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.

Egzemplarze ( 1 )
Uwagi ( 6 )

Egzemplarze
Typ dokumentu	Obecna biblioteka	Sygnatura	Status	Termin zwrotu	Kod kreskowy
Rozprawa doktorska	Bibliografia Prac Pracowników - BPK Informatorium	RD 246 (Przeglądaj półkę(Otwórz poniżej))	Tylko na miejscu		00900294

Lokalizacja półki: Informatorium Zakończ przeglądanie półki (Zakończ przeglądanie półki)

Wstecz								Dalej
Wstecz	RD 243 Analiza numeryczna i badania eksperymentalne przepływu brzeczki piwnej w kadzi wirowej o zmodyfikowanej konstrukcji : rozprawa doktorska /	RD 244 Analiza przemieszczenia materiału w strefie mikro- i nanoskrawania diamentowym ziarnem ściernym : rozprawa doktorska /	RD 245 Zastosowanie czterowartościowej oceny stanów w procesie diagnozowania cech eksploatacyjnych złożonych obiektów technicznych : rozprawa doktorska /	RD 246 Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych : rozprawa doktorska /	RD 247 Badania nowych mikrometod oznaczania różnych mikrozanieczyszczeń i biomarkerów w wybranych procesach środowiskowych i/lub technologicznych dotyczących ekosystemów wód powierzchniowych oraz w procesach oczyszczania ścieków : rozprawa doktorska /	RD 248 Algorytmy detekcji infekcji programów komputerowych inspirowane biologicznymi mechanizmami immunologicznymi : rozprawa doktorska /	RD 249 Metoda planowania misji lotów bezzałogowych statków powietrznych odpornych na zmienne warunki pogodowe : rozprawa doktorska /	Dalej

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.