Show simple item record

Finding Deadlocks Using Static Code Analysis



dc.contributor.advisorMařík Radek
dc.contributor.authorNavara Filip
dc.date.accessioned2011-10-14T08:37:47Z
dc.date.available2011-10-14T08:37:47Z
dc.date.issued2011-10-14
dc.date.submitted2011-10-14 09:37:54.0
dc.identifierKOS-267207506605
dc.identifier.urihttp://hdl.handle.net/10467/5677
dc.publisherČeské vysoké učení technické v Praze. Vypočetní a informační centrum.cze
dc.rightsA university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one’s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfeng
dc.rightsVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfcze
dc.titleVyhledání uváznutí pomocí statické analýzy kódu
dc.titleFinding Deadlocks Using Static Code Analysiseng
dc.typediplomová prácecze
dc.date.updated2011-10-14T08:37:47Z
dc.date.accepted2011-06-07 00:00:00.0
dc.contributor.refereeAubrecht Petr
dc.description.departmentkatedra kybernetikycze
theses.degree.nameIng.cze
theses.degree.disciplinePočítačové inženýrstvícze
theses.degree.grantorFakulta elektrotechnickácze
theses.degree.programmeOtevřená informatika, navazující (magisterský)cze
evskp.contactČVUTcze


Files in this item


This item appears in the following Collection(s)

Show simple item record