Zpět na vyhledávání

Bc. Jiří Weiser

Master's thesis

TCP vrstva pro verifikační nástroj DIVINE

TCP Layer for Divine Model Checker
Abstract:
V práci je prezentována motivace pro distribuované výpočty a jejich vztah ke knihovně MPI. Dále je v práci navržen a popsán nový přístup k řízení distribuovaného výpočtu, který lze použít v lokálních sítích. V závěru práce je nové řešení experimentálně porovnáno s knihovnou MPI. Porovnání je zaměřeno převážně na paralelní přístup ke komunikačnímu rozhraní.
Abstract:
This thesis presents the motivation for distributed computation and its relation to MPI library. Furthermore, new library for distributed computation in local networks is designed and described in the thesis. The new approach and MPI are experimentally compared in the conclusion of the thesis. The comparison is mainly focused to a parallel access to the communication interface.
 

Keywords

Distribuované výpočty MPI Síť TCP Formální verifikace Paralelizmus DIVINE
 
Language used: Czech
Date on which the thesis was submitted / produced: 11. 1. 2016
Identifier: https://is.muni.cz/th/n2ek4/

Thesis defence

  • Date of defence: 16. 2. 2016
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
  • Reader: RNDr. Petr Ročkai, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.