Zpět na hledáníShared Hash Tables in Parallel Model Checking (2008)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/08:00024166 |
|---|---|
| Název v anglickém jazyce | Shared Hash Tables in Parallel Model Checking |
| Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh | - |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2008 |
| 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 | 6 |
| Počet tvůrců celkem | 2 |
| 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) Petr Ročkai (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1292358) |
| Popis výsledku v anglickém jazyce | In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. Since usage of shared state storage allows for techniques unavailable in distributed memory, these are evaluated, both theoretically and practically, in a prototype implementation. Experimental data is presented to assess practical utility of those techniques, compared to static partitioning of state space, more traditional indistributed memory algorithms. |
| Klíčová slova oddělená středníkem | Hash tables; locking schemes; parallel |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Electronic Notes in Theoretical Computer Science |
|---|---|
| ISSN | 1571-0661 |
| e-ISSN | - |
| Svazek periodika | 2008 |
| Číslo periodika v rámci uvedeného svazku | 198(1) |
| Stát vydavatele periodika | DE - Spolková republika Německo |
| Počet stran výsledku | 12 |
| Strana od-do | |
| Kód UT WoS článku podle Web of Science | - |
| EID výsledku v databázi Scopus | - |
| Způsob publikování výsledku | - |
| Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2010 |
| Specifikace | RIV/00216224:14330/08:00024166!RIV10-MSM-14330___ |
| Datum poslední aktualizace výsledku | 13.05.2010 |
| Kontrolní číslo | 11936862 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2009 | RIV/00216224:14330/08:00024166 v dodávce dat RIV09-GA0-14330___/01:1 |
|---|---|
| Dodáno AV ČR v roce 2009 | RIV/00216224:14330/08:00024166 v dodávce dat RIV09-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/08:00024166 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/08:00024166 v dodávce dat RIV10-AV0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu 1M | 1M0545 - Institut Teoretické Informatiky (2005 - 2009) |
|---|---|
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |