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 …more
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 …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 4. 6. 2008

Thesis defence

  • Date of defence: 23. 6. 2008

Citation record

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 informatiky

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / field:
Informatics / Informatics