Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00029685" target="_blank" >RIV/00216224:14330/09:00029685 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14330/09:00065865
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verifikace a analýza velmi velkých počítačových systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Algorithms - European Symposium on Algorithms (ESA) 2009
ISBN
978-3-642-04127-3
ISSN
—
e-ISSN
—
Počet stran výsledku
12
Strana od-do
—
Název nakladatele
Springer Berlin / Heidelberg
Místo vydání
Berlin
Místo konání akce
Kodaň
Datum konání akce
1. 1. 2009
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
000279102100054