Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1112 Jimp 430.84331.1300.824.67524.904
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Distributed Algorithms for SCC Decomposition (2011)výskyt výsledku

Identifikační kódRIV/00216224:14330/11:00049494
Název v anglickém jazyceDistributed Algorithms for SCC Decomposition
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - 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ýsledku3
Počet tvůrců celkem3
Počet domácích tvůrců2
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)
Jakub Chaloupka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5376327)
Jaco van de Pol (státní příslušnost: NL - Nizozemsko)
Popis výsledku v anglickém jazyceWe study existing parallel algorithms for the decomposition of a partitioned graph into its strongly connected components (SCCs). In particular, we identify several individual procedures that the algorithms are assembled from and show how to assemble a new and more efficient algorithm, called Recursive OBF (OBFR), to solve the decomposition problem. We also report on a thorough experimental study to evaluate the new algorithm. It shows that it is possible to perform SCC decomposition in parallel efficiently and that OBFR, if properly implemented, is the best choice in most cases.
Klíčová slova oddělená středníkemparallel algorithms; strongly connected components
Stránka www, na které se nachází výsledek-
DOI výsledku10.1093/logcom/exp003

Údaje o výsledku v závislosti na druhu výsledku

Název periodikaJournal of Logic and Computation
ISSN0955-792X
Svazek periodika21
Číslo periodika v rámci uvedeného svazku1
Stát vydavatele periodikaGB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku22
Strana od-do23-44
Kód UT WoS článku podle Web of Science000286911500003
EID výsledku v databázi Scopus-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2012
SpecifikaceRIV/00216224:14330/11:00049494!RIV12-GA0-14330___
Datum poslední aktualizace výsledku18.05.2012
Kontrolní číslo13407018

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno MŠMT v roce 2012RIV/00216224:14330/11:00049494 v dodávce dat RIV12-MSM-14330___/01:1
Dodáno AV ČR v roce 2012RIV/00216224:14330/11:00049494 v dodávce dat RIV12-AV0-14330___/01:1

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný AV ČR v programu 1E1ET408050503 - Techniky automatické verifikace a validace softwarových a hardwarových systémů (2005 - 2009)
Projekt podporovaný GA ČR v programu GAGA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009 - 2011)
Výzkumný záměr podporovaný MŠMTMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011)