Rigorózní práce

Distributed Algorithms for Mean-Payoff Games

Mgr. Jakub Chaloupka, učo 60400
Anotace

Mean-payoff games (MPGs) jsou silným matematickým nástrojem s velkým množstvím aplikací, zejména v analýze a verifikaci počítačových systémů. Díky velké složitosti těchto systemů je potřeba řešit velmi velké hry. Současné algoritmy pro řešení MPGs jsou sekvenční, tedy limitované výkonem jednoho počítače. Jeden způsob, jak rozšířit naše možnosti je navrhnout efektivní paralelní a distribuované algoritmy …více

Abstract

Mean-payoff games (MPGs) are a powerful mathematical tool with many applications, especially in analysis and verification of computer systems. Because of the complexity of these systems, there is need to solve very large games. Existing algorithms for solving MPGs are sequential, hence limited by the power of a single computer. One way to expand the limits is to design efficient parallel and distributed …více

Práce zkontrolována:
11. 10. 2008 13:02, (IS automaticky)
Jazyk práce
angličtina angličtina
Termín obhajoby
23. 6. 2008
Práce byla úspěšně obhájena

Oponenti

Autor posudku dosud neidentifikován.
Autor posudku dosud neidentifikován.

Masarykova univerzita Fakulta informatiky
Studijní program
Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.
  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.
  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.
  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.
  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.