RIV/00216224:14330/11:00050202 - Computing Optimal Cycle Mean in Parallel on CUDA (2011)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/11:00050202
Název v původním jazyceComputing Optimal Cycle Mean in Parallel on CUDA
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2011
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento výskyt výsledku není vyřazen
Zařazení výsledku v hodnoceníneu - Výsledky bez bodového hodnocení nebo vyřazené
Skupina oboru v hodnocení04 - Technické a informatické vědy
Konkrétní způsob(y) hodnocení výsledkuČlánek v časopise má ISSN, ale to v roce uplatnění není v databázi ERIH. | Článek v časopise má ISSN, ale to v roce uplatnění není v databázi JCR. | Článek v časopise má ISSN, ale to v roce uplatnění není v databázi Scopus. | Článek v časopise spadá do oborové skupiny SHVa nebo SHVb, má ISSN, ale to v roce uplatnění není na Seznamu recenzovaných periodik vydávaných v ČR.
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano100,0 %0,000
Tvůrci výsledku
Počet tvůrců celkem4
Počet domácích tvůrců4
TvůrceBarnat Jiří (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 5692792)
TvůrceBauch Petr (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 5736935)
TvůrceBrim Luboš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 6500773)
TvůrceČeška Milan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 1846000)
Údaje blíže specifikující výsledek
Popis v původním jazyceComputation 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 of optimal 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 be implemented 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á slovaModel checking; hardware platforms; parallelism
Název periodkaElectronic Proceedings in Theoretical Computer Science
Rozsah stran68-83
ISSN2075-2180
Svazek periodika72
Číslo periodika v rámci uvedeného svazku2011
Stát vydavatele periodikaUS - Spojené státy americké
Počet stran výsledku16
DOI výsledku10.4204/EPTCS.72.8
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2012
Systémové označení dodávky datRIV12-MSM-14330___/01:1
SpecifikaceRIV/00216224:14330/11:00050202!RIV12-MSM-14330___
Kontrolní kód[A6395B85CC76]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno GA ČR v roce 2012Záznam s identifikačním kódem RIV/00216224:14330/11:00050202 v dodávce dat RIV12-GA0-14330___/02:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009-2011, GA0/GA)
ProjektGD102/09/H042 - 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ů (2009-2012, GA0/GD)
ProjektGP201/09/P497 - Automatizovaná formální verifikace s využitím soudobého hardware (2009-2011, GA0/GP)
Výzkumný záměrMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM)