Informace o publikaci
Shared Hash Tables in Parallel Model Checking
| Název česky | Sdílené hašovací tabulky v paralelním model checkingu |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Electronic Notes in Theoretical Computer Science |
| Fakulta / Pracoviště MU | |
| 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: |