Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 11141-11145 z 11216
-
Procesy s dlouhou pamětí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 16. 5. 2006Cílem této práce je zasvětit čtenáře do problematiky procesů a s dlouhou pamětí. V úvodu je čtenář nejprve seznámen s tím, proč již procesy s krátkou pamětí, např. ARMA procesy, nepostačovali statistikům na modelování ... -
Min-max haldy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006The object of the diploma thesis is detailed description of doublended priority queues. Heap data structure is commonly used as their base. Simultaneously we are trying to uncover behavior of these data structures while ... -
Combining temporal logic and behavior protocols
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006In this thesis we consider one of the weaknesses of temporal logic - the fact that the temporal formulas specifying complex properties are hard to read. We introduce new temporal logic "BP-CTL", that originate ... -
Chování konfiguračních a směrovacích mechanismů v ad-hoc sítích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Technologies of local and personal wireless networks allows building ad-hoc networks which don't require prepared infrastructure of optical or metalic wiring. Besides mechanisms of channel sharing and mechanisms of ... -
Model Checking and Reduction of Behavior Protocols
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' ...