Shared Hash Tables in Parallel Model Checking

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Sdílené hašovací tabulky v paralelním model checkingu
Autoři

BARNAT Jiří ROČKAI Petr

Rok publikování 2008
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Hash tables; locking schemes; parallel
Popis Vzhledem k výraznému posunu výzkumu v paralelním explicitním model checkingu směrem k platformám se sdílenou pamětí je smyslem článku prozkoumat a vyhodnotit výhody a nevýhody přístupů implementace algoritmů se sdílenou a privátní hašovací tabulkou. Přístupy jsou vyhodnoceny jak po teoretické stránce, tak i prakticky s využitím prototypové implementace. Experimentální data jsou prezentována a porovnána s statickým dělením práce typickým pro algoritmy pracující s distribuovanou pamětí.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.