Poslední příspěvky

Zobrazují se záznamy 11141-11145 z 11216

  • Procesy s dlouhou pamětí 

    Výsledek obhajoby: OBHÁJENO
    Prelcová, Zuzana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
    Datum obhajoby: 16. 5. 2006
    Cí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
    Neuvirth, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
    Datum obhajoby: 22. 5. 2006
    The 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
    Mandys, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
    Datum obhajoby: 22. 5. 2006
    In 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
    Vlčková, Zuzana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
    Datum obhajoby: 22. 5. 2006
    Technologies 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
    Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
    Datum obhajoby: 22. 5. 2006
    Behavior 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' ...

© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV