Computing Optimal Cycle Mean in Parallel on CUDA

• Název česky: Paralelní CUDA algoritmy pro výpočet cyklů s optimální hodnotou
• Autoři: BARNAT Jiří; BAUCH Petr; BRIM Luboš; ČEŠKA Milan
• Rok publikování: 2011
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Proceedings in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: EPTCS volume 72
• Doi: https://doi.org/10.4204/EPTCS.72.8
• Obor: Informatika
• Klíčová slova: Model checking; hardware platforms; parallelism
• Popis: Výpočet cyklů s optimální hodnotou v orientovaném grafu má mnoho různých využití. V tomto článku navrhujeme nový datově paralelní algoritmus pro řešení prolému s využitím technologie CUDA. Experimentální měření ukazují až pětinásobné zrychlení v porovnání s nejlepším sekvenčním algoritmem.

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ů
• Automatizovaná formální verifikace s využitím soudobého hardware
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace