Browsing by Subject "dynamic analysis"
Now showing items 21-26 of 26
-
Praktické metody automatizované verifikace paralelních programů
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje ... -
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení ... -
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viacvláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej ... -
Rozšíření systému pro shlukovou analýzu binárních souborů
S rastúcim množstvom informácií sa zvyšuje potreba sumarizovať dáta. Jednou z používaných metód je aj zhluková analýza. Je to proces triedenia objektov do skupín na základe spoločných vlastností. V antivírusových firmách ... -
Seismická analýza konstrukce s využitím residuálních tvarů
Tato práce se zabývá možností použití reziduálního tvaru ve výpočtovém programu SCIA Engineer při výpočtu seismického zatížení. Reziduální tvar bude použit v kombinaci s metodou výpočtu CQC a SRSS při zahrnutí různého počtu ... -
Simulace mechanismu zadních dveří automobilu
Tato bakalářská práce se zabývá simulací mechanismu otevírání pátých dveří automobilu v prostředí ADAMS, ve kterém byl vytvořen model mechanismu. Jednotlivým tělesům byly přiděleny tytéž parametry, jaké mají v reálném ...