Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Paralelní algoritmy pro mean-payoff hry: Experimentální zhodnocení
Autoři	CHALOUPKA Jakub
Rok publikování	2009
Druh	Článek ve sborníku
Konference	Algorithms - European Symposium on Algorithms (ESA) 2009
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	https://doi.org/10.1007/978-3-642-04128-0_54
Obor	Informatika
Klíčová slova	mean-payoff games; parallel algorithms; experimental evaluation
Popis	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.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů