Distributed Algorithms for Mean-Payoff Games – Mgr. Jakub Chaloupka, Ph.D.
Mgr. Jakub Chaloupka, Ph.D.
Advanced ('rigorózní') thesis
Distributed Algorithms for Mean-Payoff Games
Distributed Algorithms for Mean-Payoff Games
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 4. 6. 2008
Identifier:
https://is.muni.cz/th/suhfb/
Thesis defence
- Date of defence: 23. 6. 2008
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
Algorithms for Mean-Payoff and Energy Games
Jakub Chaloupka -
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
Writing Graph Algorithms in Executable Pseudocode
Boris Ranto -
Algorithms for Mean-Payoff and Energy Games
Jakub Chaloupka