| Identifikační kód | RIV/00216224:14330/11:00050202 |
|---|
| Název v anglickém jazyce | Computing Optimal Cycle Mean in Parallel on CUDA |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2011 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 4 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792)
Petr Bauch (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5736935)
Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773)
Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000) |
|---|
| Popis výsledku v anglickém jazyce | Computation of optimal cycle mean in a directed weighted graph has many applications in program analysis, performance verification in particular. In this paper we propose a data-parallel algorithmic solution to the problem and show how the computation ofoptimal cycle mean can be efficiently accelerated by means of CUDA technology. We show how the problem of computation of optimal cycle mean is decomposed into a sequence of data-parallel graph computation primitives and show how these primitives can beimplemented and optimized for CUDA computation. Finally, we report a fivefold experimental speed up on graphs representing models of distributed systems when compared to best sequential algorithms. |
|---|
| Klíčová slova oddělená středníkem | Model checking; hardware platforms; parallelism |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.4204/EPTCS.72.8 |
|---|