Zpět na vyhledávání

RNDr. Petr Ročkai, Ph.D.

Bakalářská práce

Multi-Threaded Nested DFS

Multi-Threaded Nested DFS
Abstract:
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various tasks -- among others LTL model checking. We have implemented several parallel algorithms for shared-memory LTL model checking, based on Nested DFS and distributed-memory algorithms. To achieve good scalability, we have devised …více
 

Keywords

Model Checking Parallel Multi-Threading Multi-Core Shared Memory Symmetric Multiprocessing
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 16. 5. 2007
Identifikátor: https://is.muni.cz/th/hq4k0/

Obhajoba závěrečné práce

  • Obhajoba proběhla 5. 2. 2008
  • Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.