Informace o publikaci
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
| Název česky | Paralelní algoritmy pro mean-payoff hry: Experimentální zhodnocení |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Algorithms - European Symposium on Algorithms (ESA) 2009 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.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: |