Závěrečná práce: Mgr. Jakub Chaloupka, učo 60400: Distributed Algorithms for Mean-Payoff Games
Rigorózní práce
Distributed Algorithms for Mean-Payoff Games
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
11. 10. 2008 13:02, (IS automaticky)
Oponenti
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Algorithms for Mean-Payoff and Energy Games
RNDr. Jakub Chaloupka, Ph.D., učo 60400 -
Implementace difúzních filtrů na GPU
Mgr. Lukáš Skovajsa, učo 207828 -
Efektivní generování všech malých mnohočetných řezů
Mgr. Ondřej Slámečka -
Automated Maze Generation and Human Interaction
Mgr. Martin Foltin, učo 143508 -
Writing Graph Algorithms in Executable Pseudocode
Mgr. Boris Ranto, učo 256451 -
Beer Shortest Path Problem in Dynamic Graphs
Štěpán Lukeš -
Implementing Robust Matching Augmentation
Mgr. Tomáš Jelínek -
Model Checking Software
RNDr. Petr Ročkai, Ph.D., učo 139761




