2009
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
CHALOUPKA, JakubZákladní údaje
Originální název
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Název česky
Paralelní algoritmy pro mean-payoff hry: Experimentální zhodnocení
Autoři
Vydání
Berlin, Algorithms - European Symposium on Algorithms (ESA) 2009, od s. 599-610, 12 s. 2009
Nakladatel
Springer Berlin / Heidelberg
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/09:00065865
Organizační jednotka
Fakulta informatiky
ISBN
978-3-642-04127-3
ISSN
UT WoS
000279102100054
Klíčová slova anglicky
mean-payoff games; parallel algorithms; experimental evaluation
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 30. 4. 2014 05:54, RNDr. Pavel Šmerk, Ph.D.
V originále
Mean-payoff games (MPGs) have many applications, especially in the synthesis, analysis and verification of computer systems. Because of the size of these systems, there is a need to solve very large MPGs. Existing algorithms for solving MPGs are sequential, hence limited by the power of a single computer. In this paper, we propose several parallel algorithms based on the sequential ones. We also evaluate and compare the parallel algorithms experimentally.
Česky
Mean-payoff hry (MPGs) mají mnoho aplikací, zejména v syntéze, analýze a verifikaci počítačových systémů. Díky velikosti těchto systémů je potřeba řešit velmi velké MPGs. Existující algoritmy pro MPGs jsou sekvenční, tedy limitované výkonem jednoho počítače. V tomto článku navrhujeme několik paralelních algoritmů založených na zmíněných sekvenčních a experimentálně je porovnáváme.
Návaznosti
| GA201/09/1389, projekt VaV |
| ||
| MSM0021622419, záměr |
|