Now showing items 1-9 of 9

  • Difůzní evoluční algoritmus 

    Mészáros, István
    V dnešní době se objevují nové trendy v oblasti umělé inteligence. Metody známé jako evoluční algoritmy jsou jedny z nich. Tyto algoritmy nám umožňují optimalizovat a navrhovať systémy pomocí počítačů. Jedna z variant ...
  • Knihovna operací nad konečnými automaty 

    Bartůněk, Petr
    Tato práce se zabývá dvěma základními operacemi nad konečnými automaty. Determinizací nedeterministických konečných automatů a minimalizací deterministických konečných automatů. Pro obě tyto operace jsem navrhoval sekvenční ...
  • Lexikální analyzátor pro víceprocesorové počítače 

    Otáhal, Jiří
    Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem ...
  • Návrhové vzory v paralelních a distribuovaných systémech 

    Jurnečka, Peter
    V tejto práci je opísaný návrh spôsobu zápisu a práce s paralelnými návrhovými vzormi, ktorého prínosom je možnosť navrhovania automatických oprav existujúcich paralelných zdrojových kódov pomocou refaktoringu. Na to, aby ...
  • Optimalizace LINQ pro .NET 

    Šerý, Daniel
    Tato práce se zabývá LINQ (Language integrated query) a řeší možnosti jeho implementace a optimalizace v jazyce C#. Je vybrána a implementována metoda přepisu dotazů na procedurální kód před překladem programu. Cílem práce ...
  • Overview of Parallel Platforms for Common High Performance Computing 

    Fryza, T.; Svobodova, J.; Adamec, F.; Marsalek, R.; Prokopec, J. (Společnost pro radioelektronické inženýrství, 2012-04)
    The paper deals with various parallel platforms used for high performance computing in the signal processing domain. More precisely, the methods exploiting the multicores central processing units such as message passing ...
  • Paralelní syntaktická analýza 

    Otáhal, Jiří
    Diplomová práce se zabývá moderními metodami pro popis jazyků. Představuje několik řízených gramatik, přičemž podrobněji se věnuje stromem řízené gramatice. Je založena na relativně nové technice syntaktické analýzy, která ...
  • Pokrytím řízené testování vícevláknových programů 

    Lietavcová, Zuzana
    Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se ...
  • Vývoj paralelních aplikací s Intel Threading Tools 

    Vadkerti, Ladislav
    Dnešním trendem v návrhu mikroprocesorů je zvyšování počtu výkonných jader na jednom čipu. Zvyšování taktovací frekvence dosáhlo svých limitů způsobených rostoucí energetickou spotřebou. Tento trend přináší nové možnosti ...