|
|
Evaluation of Usefulness of Debugging Tools
Martinec, Tomáš ; Děcký, Martin (vedoucí práce) ; Yaghob, Jakub (oponent)
Ladění je časově velmi náročná aktivita programátorů. Přestože počet návrhů ladících nástrojů je velký, tak počet nástrojů, které jsou přijaty lidmi z praxe a používány při vývoji software je menší než by se dalo očekávat. Spousta lidí věří, že jedna z příčin nastalé situace spočívá v tom, že je obtížné odhadnout, jestli se úsilí nutné pro implementaci nově navržených nástrojů nebo přístupů vyplatí. Prvním cílem této práce je navrhnout metodologii pro vyhodnocování užitečnosti ladících nástrojů. Abychom ukázali příklad použití navržené metodologie, tak jsme uskutečnili studii užitečnosti běžných ladících nástrojů pro vývoj operačního systému. Druhým cílem této práce je prozkoumat a popsat další aspekty procesu, jak programátoři ladí software. Powered by TCPDF (www.tcpdf.org)
|
|
|
Státní tajemství vs. právo na informace - případ Bradleyho Manninga v historickém kontextu
Martinec, Tomáš ; Kozák, Kryštof (vedoucí práce) ; Calda, Miloš (oponent)
Bakalářská práce Státní tajemství vs. právo na informace - případ Bradleyho Manninga v historickém kontextu porovnává případ Bradleyho Manninga, který je obviňován jako zdroj úniků v aféře Wikileaks, s precedentním případem Daniela Ellsberga ze začátku 70. let 20. století. Ellsberg tehdy poskytl deníku New York Times kopii přísně tajné vládní studie zabývající se americkou politikou vůči Vietnamu v poválečném období. Práce tvrdí, že přestože zejména formou provedení se oba úniky do značné míry liší, vládní postup vůči oběma zdrojům byl neadekvátní a řízení s Manningem by mohlo být prohlášeno za zmatečné, podobně jako v případě Daniela Ellsberga. Práce dále tvrdí, že i pokud by se Manningův případ dostal před soud, je možné vysledovat několik argumentů v prospěch obhajoby.
|
|
|
Řešení sporů v rámci WTO
Martinec, Tomáš ; Balaš, Vladimír (vedoucí práce) ; Tymofeyeva, Alla (oponent)
Diplomová práce "Řešení sporů v rámci WTO" se zabývá otázkou přímého účinku práva Světové obchodní organizace ve vztahu k možnosti soukromých subjektů domáhat se náhrady škody v případě, že v důsledku porušení pravidel WTO ze strany vlády jejich státu budou právě oni zasaženi odvetnými opatřeními dotčeného státu. V této souvislosti práce porovnává přístup Spojených států amerických a Evropské unie k dané otázce a s ohledem na to, že v rámci EU prošla tato otázka určitým judikaturním vývojem, práce rovněž analyzuje tuto judikaturu a její závěry. Tato diplomová práce je strukturována do dvou základních částí. V první z nich práce představí řízení před Orgánem pro řešení sporů a jeho úpravu v Ujednání o řešení sporů, přičemž se zaměří na jednotlivé fáze celého procesu obdobného soudnímu řízení a ukáže roli jednotlivých subjektů v rámci tohoto řízení. Tato první část je rozdělena do tří kapitol - první, zabývající se subjekty řízení, druhou, pojednávající o fázích řízení před Orgánem pro řešení sporů, a třetí, která se soustředí na fázi implementace těchto rozhodnutí a slouží rovněž jako pomyslný most k druhé části této diplomové práce. Právě druhá část pak pojednává o možnostech vnitrostátních subjektů domáhat se náhrady škody v případě, že proces implementace rozhodnutí není ze strany státu, jehož...
|
|
|
Evaluation of Usefulness of Debugging Tools
Martinec, Tomáš ; Děcký, Martin (vedoucí práce) ; Yaghob, Jakub (oponent)
Ladění je časově velmi náročná aktivita programátorů. Přestože počet návrhů ladících nástrojů je velký, tak počet nástrojů, které jsou přijaty lidmi z praxe a používány při vývoji software je menší než by se dalo očekávat. Spousta lidí věří, že jedna z příčin nastalé situace spočívá v tom, že je obtížné odhadnout, jestli se úsilí nutné pro implementaci nově navržených nástrojů nebo přístupů vyplatí. Prvním cílem této práce je navrhnout metodologii pro vyhodnocování užitečnosti ladících nástrojů. Abychom ukázali příklad použití navržené metodologie, tak jsme uskutečnili studii užitečnosti běžných ladících nástrojů pro vývoj operačního systému. Druhým cílem této práce je prozkoumat a popsat další aspekty procesu, jak programátoři ladí software. Powered by TCPDF (www.tcpdf.org)
|
|
|
The issue of race in the jurisprudence of the Supreme Court of the United States : the evolving interpretation of the Equal Protection Clause
Martinec, Tomáš ; Sehnálková, Jana (vedoucí práce) ; Kozák, Kryštof (oponent)
Diplomová práce nazvaná The Issue of Race in the Jurisprudence of the Supreme Court of the United States: The Evolving Interpretation of the Equal Protection Clause analyzuje judikaturu Nejvyššího soudu Spojených států amerických týkající se Equal Protection Clause, tedy ustanovení zakotvující rovnou ochranu práv, a to konkrétně rozsudky Plessy v. Ferguson, Sweatt v. Painter, Brown v. Board of Education, Topeka, Regents of the University of California v. Bakke, Grutter v. Bollinger, Gratz v. Bollinger, Fisher v. University of Texas a Schuette v. Coalition to Defend Affirmative Action. Na analýze výše zmíněných rozsudků práce ukazuje, jak se postupem času vyvíjelo filozofické zakotvení Nejvyššího soudu, kdy po druhé světové válce byl soud silně ovlivněn přirozeně-právním myšlením, které mírně převážilo do té doby dominující pozitivně-právní filozofii, což vedlo k ústavněprávnímu etablování tzv. affirmative- action názorem soudce Powella v případu Bakke a zejména pak rozsudkem ve věci Grutter. Přirozenoprávní myšlení se však nikdy tak dominantním, jako byl v devatenáctém století právní pozitivismus ve věcech Gratz, což byl sesterský případ k případu Grutter, a zejména pak poslední rozsudky ve věcech Fisher a Schuette ukazují, že pozitivněprávní proud začíná, i vlivem změn v obsazení Nejvyššího soudu...
|
|
|
Interactive Debugger for MSIM
Martinec, Tomáš ; Děcký, Martin (vedoucí práce) ; Malohlava, Michal (oponent)
Cílem této práce je rozšíření ladících schopností MSIMu pomocí napojení na vývojové prostředí Eclipse. MSIM je simulátor počítače založený na procesoru MIPS a jednoduchém hardwarovém modelu. Je zaměřen převážně na výuku principů operačních systémů. V současné době MSIM umožňuje ladit emulovaný kód díky implementaci síťového rozhraní GNU Debuggeru (GDB) a pomocí několika interních ladících příkazů. Implementace prezentovaná v této práci spojuje MSIM a ladící prostředí Eclipse IDE pomocí GDB rozhraní. Umožňuje tak uživatelsky přívětivé ladění emulovaného kódu na úrovni zdrojových souborů i assembleru. Dále jsou v práci diskutovány pokročilé ladící techniky jako sledování userspace vláken, konstrukce call tree, zpětné krokování a další.
|
|
|
Státní tajemství vs. právo na informace - případ Bradleyho Manninga v historickém kontextu
Martinec, Tomáš ; Kozák, Kryštof (vedoucí práce) ; Calda, Miloš (oponent)
Bakalářská práce Státní tajemství vs. právo na informace - případ Bradleyho Manninga v historickém kontextu porovnává případ Bradleyho Manninga, který je obviňován jako zdroj úniků v aféře Wikileaks, s precedentním případem Daniela Ellsberga ze začátku 70. let 20. století. Ellsberg tehdy poskytl deníku New York Times kopii přísně tajné vládní studie zabývající se americkou politikou vůči Vietnamu v poválečném období. Práce tvrdí, že přestože zejména formou provedení se oba úniky do značné míry liší, vládní postup vůči oběma zdrojům byl neadekvátní a řízení s Manningem by mohlo být prohlášeno za zmatečné, podobně jako v případě Daniela Ellsberga. Práce dále tvrdí, že i pokud by se Manningův případ dostal před soud, je možné vysledovat několik argumentů v prospěch obhajoby.
|
|
|
Specifická činnost policejních složek v rámci ČR
Martinec, Tomáš ; Hájková, Ivana (vedoucí práce)
Cílem diplomové práce je komplexní pohled na profesi policejního potápění, se zaměřením na výkon této specializované činnosti jako servisní služby pro ostatní resortní složky, složky Integrovaného záchranného systému a v neposlední řadě i pro veřejnost či občana.
Autor práce prezentuje činnost jednoho z organizačních článků Policie České republiky, speciálního policejního útvarů, který se mimo jiné touto činností zabývá a analyzuje tuto profesní aktivitu v rámci České republiky.
|
|
|
Specifická činnost policejních složek v rámci ČR
Martinec, Tomáš ; Hájková, Ivana (vedoucí práce)
Cílem diplomové práce je komplexní pohled na profesi policejního potápění, se zaměřením na výkon této specializované činnosti jako servisní služby pro ostatní resortní složky, složky Integrovaného záchranného systému a v neposlední řadě i pro veřejnost či občana.
Autor práce prezentuje činnost jednoho z organizačních článků Policie České republiky, speciálního policejního útvarů, který se mimo jiné touto činností zabývá a analyzuje tuto profesní aktivitu v rámci České republiky.
|
|
|
Zvláštní ekonomické zóny v Čínské lidové republice (1979-2001)
Martinec, Tomáš ; Skřivan, Aleš (vedoucí práce) ; Tajovský, Ladislav (oponent)
Hlavním cílem bakalářské práce je analýza vývoje zvláštních ekonomických zón v ČLR v období od převzetí moci reformním vedením do vstupu ČLR do WTO. Autor zkoumá tuto problematiku v širším kontextu otevírání čínské ekonomiky, respektive celého reformní procesu, hodnotí měnící se roli zvláštních ekonomických zón v čínské ekonomice, jejich úspěchy, ale také neúspěchy. Důraz je především kladen na hodnocení vývoje a struktury přímých zahraničních investic, HDP a exportu ve zvláštních ekonomických zónách. Autor dospěl k závěru, že hlavní přínos zvláštních ekonomických zón spočíval v jejich experimentální funkci a že ve zkoumaném období docházelo k postupnému snižování významu zvláštních ekonomických zón v čínské ekonomice.
|
host ::
RSS.