Zpět na vyhledávání

Bc. Petr Bauch, Ph.D.

Master's thesis

System Performance Analysis Extension of DiVinE

System Performance Analysis Extension of DiVinE
Abstract:
Tato práce se zabývá kompozicionálním modelováním a analýzou výkonnosti distribuovaných systémů typu klient/server. V této práci zhodnotíme existující formalismy dovolující analýzu výkonnosti a navrhneme rozšíření enumerativního nástroje pro kontrolu modelů DiVinE, které umožní tomuto nástroji měřit spotřebu výpočetních zdrojů vstupních modelů distribuovaných systémů. Rozšíření je navrženo jak teoreticky …more
Abstract:
This work is concerned with compositional modelling and performance analysis of distributed client/server systems. We review the existing formalisms allowing performance analysis and propose an extension to the enumerative model checker DiVinE which would enable the tool to measure computational resource consumption of the input models of distributed systems. The extension is proposed both in theory …more
 

Keywords

compositional modelling performance analysis optimal cycle mean algorithms client server system performance evaluation data-parallel acceleration CUDA computation
 
Language used: English
Date on which the thesis was submitted / produced: 30. 5. 2011
Identifier: https://is.muni.cz/th/wt8bv/

Thesis defence

  • Date of defence: 28. 6. 2011
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: RNDr. Milan Češka, 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